This is TeX, C Version 3.141 (format=latex 96.11.25) 21 DEC 2000 14:35 **abs.tex (abs.tex LaTeX2e <1996/06/01> (/usr/local/lib/tex/macros/article.cls Document Class: article 1996/05/26 v1.3r Standard LaTeX document class (/usr/local/lib/tex/macros/size10.clo File: size10.clo 1996/05/26 v1.3r Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/local/lib/tex/macros/amsfonts.sty Package: amsfonts 1995/02/01 v2.2b \@emptytoks=\toks14 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 128. ) (/usr/local/lib/tex/macros/latexsym.sty Package: latexsym 1995/11/28 v2.2c Standard LaTeX package (lasy symbols) \symlasy=\mathgroup6 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 86. ) (abs.aux) LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 34. LaTeX Font Info: ... okay on input line 34. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 34. LaTeX Font Info: ... okay on input line 34. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 34. LaTeX Font Info: ... okay on input line 34. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 34. LaTeX Font Info: ... okay on input line 34. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 34. LaTeX Font Info: ... okay on input line 34. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 34. LaTeX Font Info: ... okay on input line 34. (rrr2000s.tex Overfull \hbox (17.22221pt too wide) in paragraph at lines 14--15 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 14--15 [] Underfull \hbox (badness 1776) in paragraph at lines 25--25 []\OT1/cmr/bx/n/10 MONOTONE, HORN AND QUA-DRA-TIC PSEUDO-BOOLEAN FUNC- [] LaTeX Font Info: Try loading font information for U+msa on input line 25. (/usr/local/lib/tex/macros/Umsa.fd File: Umsa.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 25. (/usr/local/lib/tex/macros/Umsb.fd File: Umsb.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+lasy on input line 25. (/usr/local/lib/tex/macros/Ulasy.fd File: Ulasy.fd 1995/11/28 v2.2cLaTeX symbol font definitions ) Overfull \hbox (17.22221pt too wide) in paragraph at lines 25--26 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 25--26 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 30--31 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 30--31 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 42--43 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 42--43 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 53--54 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 53--54 [] [1 ] Overfull \hbox (17.22221pt too wide) in paragraph at lines 71--71 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 71--72 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 92--92 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 92--93 [] Underfull \hbox (badness 10000) in paragraph at lines 106--106 []\OT1/cmr/bx/n/10 CHARACTERIZATION AND RECOG-NI-TION OF STRONGLY 3- [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 106--107 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 106--107 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 128--129 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 128--129 [] [2] Overfull \hbox (17.22221pt too wide) in paragraph at lines 141--142 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 141--142 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 148--149 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 148--149 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 163--164 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 163--164 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 179--180 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 179--180 [] [3] Overfull \hbox (17.22221pt too wide) in paragraph at lines 191--192 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 191--192 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 201--202 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 201--202 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 218--219 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 218--219 [] Underfull \hbox (badness 3271) in paragraph at lines 229--229 \OT1/cmr/bx/n/10 TIONS IN TERMS OF FOR-BID-DEN SUB-FUNC-TIONS AND POST [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 229--230 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 229--230 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 258--259 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 258--259 [] [4] Overfull \hbox (17.22221pt too wide) in paragraph at lines 277--278 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 277--278 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 299--300 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 299--300 [] Underfull \hbox (badness 10000) in paragraph at lines 317--317 []\OT1/cmr/bx/n/10 PROBABILISTIC PRO-GRAMS WITH DIS-CRETE DIS-TRI-BU-TIONS [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 317--318 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 317--318 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 352--352 []| [] [] [] [5] Underfull \hbox (badness 10000) in paragraph at lines 352--353 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 368--369 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 368--369 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 379--380 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 379--380 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 391--392 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 391--392 [] [6] Overfull \hbox (17.22221pt too wide) in paragraph at lines 408--409 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 408--409 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 432--433 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 432--433 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 441--442 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 441--442 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 457--458 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 457--458 [] [7] Overfull \hbox (17.22221pt too wide) in paragraph at lines 468--469 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 468--469 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 488--489 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 488--489 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 531--531 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 531--532 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 541--542 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 541--542 [] [8] Overfull \hbox (17.22221pt too wide) in paragraph at lines 559--560 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 559--560 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 578--579 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 578--579 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 590--591 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 590--591 [] Underfull \hbox (badness 10000) in paragraph at lines 608--608 []\OT1/cmr/bx/n/10 MANAGING PE-RI-OD-I-CALLY UP-DATED DATA IN RE-LA-TIONAL [] Underfull \hbox (badness 2894) in paragraph at lines 608--608 \OT1/cmr/bx/n/10 DATABASES: A STO-CHASTIC MOD-EL-ING AP-PROACH\OT1/cmr/m/n/10 , Avig-dor Gal [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 608--609 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 608--609 [] [9] Overfull \hbox (17.22221pt too wide) in paragraph at lines 623--624 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 623--624 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 645--646 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 645--646 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 668--669 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 668--669 [] [10] Overfull \hbox (17.22221pt too wide) in paragraph at lines 702--703 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 702--703 [] Underfull \hbox (badness 10000) in paragraph at lines 702--703 [] Underfull \hbox (badness 1609) in paragraph at lines 712--712 []\OT1/cmr/bx/n/10 A HEURIS-TIC FOR BOOLEAN OP-TI-MIZA-TION PROB-LEMS\OT1/cmr/m /n/10 , Thomas [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 712--713 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 712--713 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 746--747 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 746--747 [] [11] Overfull \hbox (17.22221pt too wide) in paragraph at lines 763--764 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 763--764 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 772--773 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 772--773 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 803--804 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 803--804 [] [12] Overfull \hbox (17.22221pt too wide) in paragraph at lines 819--820 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 819--820 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 834--835 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 834--835 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 852--853 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 852--853 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 865--866 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 865--866 [] [13] Overfull \hbox (17.22221pt too wide) in paragraph at lines 886--887 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 886--887 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 894--895 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 894--895 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 921--921 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 921--922 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 942--942 []| [] [] [] [14] Underfull \hbox (badness 10000) in paragraph at lines 942--943 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 974--975 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 974--975 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 987--988 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 987--988 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 1004--1005 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 1004--1005 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 1018--1019 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 1018--1019 [] [15] Overfull \hbox (17.22221pt too wide) in paragraph at lines 1025--1026 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 1025--1026 [] Overfull \hbox (17.22221pt too wide) in paragraph at lines 1037--1038 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 1037--1038 [] ) Overfull \hbox (17.22221pt too wide) in paragraph at lines 1061--47 []| [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 1061--47 [] [16] (abs.aux) ) Here is how much of TeX's memory you used: 338 strings out of 10945 3442 string characters out of 73461 49289 words of memory out of 262141 3204 multiletter control sequences out of 9500 7535 words of font info for 31 fonts, out of 100000 for 255 20 hyphenation exceptions out of 607 23i,5n,22p,978b,141s stack positions out of 300i,40n,60p,3000b,4000s Output written on abs.dvi (16 pages, 68524 bytes).