ALLBIBS.bib ALLBIBS.pdf aggll-preprint.bib aggll-preprint.pdf altfpjcss.bib altfpjcss.pdf amai04.bib amai04.pdf ambig94.bib ambig94.pdf anatomy97.bib anatomy97.pdf aut-jar-dist.bib aut-jar-dist.pdf ccmin-avg-sat09.bib ccmin-avg-sat09.pdf chu91.bib chu91.pdf colorsat02.bib colorsat02.pdf colorsat07.bib colorsat07.pdf cover-number-long.pdf cover-number-short.bib cover-number-short.pdf cover-number-trans.pdf cover-number.bib cover-number.pdf ddgen93.bib ddgen93.pdf decimation-cgi99.bib decimation-cgi99.pdf eff-p-sim-aaai08-sent.pdf eff-p-sim-aaai08.bib eff-p-sim-aaai08.pdf elastic-tools-1.bib elastic-tools-1.pdf elastic-tr-97-12.pdf fauna_tr_figs.pdf fauna_tr_text.pdf flow92.bib franco-vg.bib franco-vg.pdf fs02.bib fs02.pdf fur_gi.bib fur_gi.pdf gg95.bib hawaii02.bib hawaii02.pdf hotptp-finite-ijcar06.pdf hotptp-parser-ijcar06.pdf human00.bib human00.pdf incomplete.bib incomplete.pdf input-dist-trans.pdf input-dist.bib input-dist.pdf jacm88.bib jlp87.bib jlp89.bib jlp90.bib jlp90.pdf jtl-tr.bib jtl-tr.pdf jtl.bib jtl.pdf kclose-tr.bib kclose-tr.pdf leaner05.bib leaner05.pdf lemmas-dist.bib lemmas-dist.pdf lics01-sat.bib lics01-sat.pdf lpar12long.pdf mdh94.bib mdh94.pdf mdhTR-94Jan21.pdf mirrors94.bib mirrors94.pdf modoc-ub-dist.bib modoc-ub-dist.pdf nail86.bib need-proofs.bib need-proofs.pdf oct92.bib oct92.pdf packet89.bib packet89.pdf parallel88.bib partition-IC.bib partition-IC.pdf partition-cade13.bib partition-cade13.pdf planning-dist.bib planning-dist.pdf pods92.bib pods92.pdf poly-res.bib poly-res.pdf pool-res-longv.pdf pool-res.bib pool-res.pdf pram89.bib pram89.pdf proj91.bib proj91.pdf proofs-isaim08.bib proofs-isaim08.pdf proofs-sat07.bib proofs-sat07.pdf pvsolve-preprint-Dec23.pdf pvsolve-preprint.bib pvsolve-preprint.pdf pvsolve.bib rjcfTR.bib rjcfTR.pdf safety87.bib safety91.bib sat-pre-post.bib sat-pre-post.pdf sat2000.bib satIC1988.bib satIC1988.pdf sigmod86.bib stableFFF-preprint.bib stableFFF-preprint.pdf streamsurf01.bib streamsurf01.pdf tensors-vg08-long.bib tensors-vg08-long.pdf termab91.bib termab91.pdf vis93.bib vis93.pdf vis96.bib vis96.pdf voltx-tr-96-16.pdf voltx96.bib voltx96.pdf volvis92.bib watched-lits.bib watched-lits.pdf wf.bib wf.pdf wfax.bib wfax.pdf wfcircum90.bib wfcircum90.pdf wftut.bib wftut.pdf