Index of /~avg/Papers

Icon  Name                    Last modified      Size  Description
[   ] chu91.pdf               1990-06-27 23:08  558K  
[   ] chu91.ps                1990-06-27 23:08  321K  
[   ] wfcircum90.ps           1990-09-12 20:37  177K  
[   ] oct92.pdf               1992-05-11 08:50  703K  
[   ] oct92.ps                1992-05-11 08:50  1.7M  
[   ] wfax-camera-ready.pdf   1993-06-02 19:08  662K  
[   ] wfax.ps                 1993-06-02 19:08  319K  
[   ] wfax.ps.gz              1993-06-02 19:08  101K  
[   ] vis93.pdf               1993-07-01 15:24  272K  
[   ] vis93.ps                1993-07-01 15:24  233K  
[   ] incomplete.pdf          1993-08-01 00:41  252K  
[   ] incomplete.ps           1993-08-01 00:41  134K  
[   ] incomplete.ps.gz        1993-08-01 00:41   41K  
[   ] mirrors94.pdf           1994-02-16 13:08  246K  
[   ] mirrors94.ps            1994-02-16 13:08  719K  
[   ] mdhTR-94Jan21.pdf       1994-02-18 15:34  472K  
[   ] mdhTR-94Jan21.ps        1994-02-18 15:34  249K  
[   ] termab91.pdf            1994-03-23 16:48  293K  
[   ] termab91.ps             1994-03-23 16:48  167K  
[   ] ddgen93.pdf             1994-04-19 16:07  356K  
[   ] ddgen93.ps              1994-04-19 16:07  194K  
[   ] mdh94.pdf               1994-07-13 10:40  406K  
[   ] mdh94.ps                1994-07-13 10:40  252K  
[   ] ambig94.pdf             1994-09-12 20:36  898K  
[   ] ambig94.ps              1994-09-12 20:36  3.2M  
[   ] pods92.pdf              1994-11-14 22:40  386K  
[   ] pods92.ps               1994-11-14 22:40  203K  
[   ] altfpjcss.pdf           1995-02-07 21:00  629K  
[   ] altfpjcss.ps            1995-02-07 21:00  311K  
[   ] aggll-preprint.pdf      1995-02-20 19:02  397K  
[   ] aggll-preprint.ps       1995-02-20 19:02  216K  
[   ] kclose-tr.pdf           1995-10-19 19:56  623K  
[   ] kclose-tr.ps            1995-10-19 19:56  270K  
[   ] partition-cade13.pdf    1996-04-24 13:11  319K  
[   ] partition-cade13.ps     1996-04-24 13:11  194K  
[   ] proj91.pdf              1996-06-24 18:19  308K  
[   ] proj91.ps               1996-06-24 18:19  168K  
[   ] vis96.pdf               1996-07-16 15:12  358K  
[   ] vis96.ps                1996-07-16 15:12  8.7M  
[   ] voltx96.pdf             1996-07-19 16:19  373K  
[   ] voltx96.ps              1996-07-19 16:19  1.7M  
[   ] voltx-tr-96-16.pdf      1996-08-01 23:00  432K  
[   ] voltx-tr-96-16.ps       1996-08-01 23:00  1.8M  
[   ] anatomy97.pdf           1997-05-05 17:31  1.8M  
[   ] anatomy97.ps            1997-05-05 17:31   36M  
[   ] fur_gi.pdf              1997-05-30 12:48  1.3M  
[   ] fur_gi.ps               1997-05-30 12:48   15M  
[   ] fauna_tr_text.pdf       1997-05-30 20:43  349K  
[   ] fauna_tr_text.ps        1997-05-30 20:43  205K  
[   ] fauna_tr_figs.pdf       1997-05-30 20:50  1.9M  
[   ] fauna_tr_figs.ps        1997-05-30 20:50   43M  
[   ] wftut.pdf               1997-10-26 21:36  341K  
[   ] wftut.ps                1997-10-26 21:36  192K  
[   ] poly-res.pdf            1997-11-15 19:43  287K  
[   ] poly-res.ps             1997-11-15 19:43  156K  
[   ] elastic-tr-97-12.pdf    1998-05-22 20:49  366K  
[   ] elastic-tr-97-12.ps     1998-05-22 20:49   10M  
[   ] modoc-ub-dist.pdf       1998-06-15 09:41  497K  
[   ] modoc-ub-dist.ps        1998-06-15 09:41  270K  
[   ] partition-IC.pdf        1998-11-03 15:38  183K  
[   ] partition-IC.ps         1998-11-03 15:38  113K  
[   ] planning-dist.pdf       1998-11-06 19:14  498K  
[   ] planning-dist.ps        1998-11-06 19:14  706K  
[   ] lemmas-dist.pdf         1998-12-20 20:31  432K  
[   ] lemmas-dist.ps          1998-12-20 20:31  536K  
[   ] aut-jar-dist.pdf        1998-12-22 07:25  1.0M  
[   ] aut-jar-dist.ps         1998-12-22 07:25  445K  
[   ] elastic-tools-1.pdf     1999-01-02 20:21  531K  
[   ] elastic-tools-1.ps      1999-01-02 20:21   11M  
[   ] decimation-cgi99.pdf    1999-03-10 16:16  682K  
[   ] decimation-cgi99.ps     1999-03-10 16:16   12M  
[   ] wf.pdf                  2000-06-15 09:24  575K  
[   ] wf.ps                   2000-06-15 09:24  296K  
[   ] human00.pdf             2000-10-14 21:18  606K  
[   ] human00.ps              2000-10-14 21:18  7.6M  
[   ] streamsurf01.pdf        2001-02-19 20:50  618K  
[   ] streamsurf01.ps         2001-02-19 20:50   14M  
[   ] satIC1988.pdf           2001-05-04 17:56  166K  
[   ] satIC1988.ps            2001-05-04 17:56  132K  
[   ] lics01-sat.pdf          2001-05-19 12:29  309K  
[   ] lics01-sat.ps           2001-05-19 12:29  245K  
[   ] jtl.pdf                 2001-08-02 20:20  383K  
[   ] jtl.ps                  2001-08-02 20:20  5.1M  
[   ] sat-pre-post.pdf        2001-10-01 09:00  178K  
[   ] sat-pre-post.ps         2001-10-01 09:00  144K  
[   ] watched-lits.pdf        2001-10-03 00:20  101K  
[   ] watched-lits.ps         2001-10-03 00:20   55K  
[   ] franco-vg.pdf           2001-11-02 21:56  732K  
[   ] franco-vg.ps            2001-11-02 21:56  371K  
[   ] jtl-tr.pdf              2002-01-20 11:53  513K  
[   ] jtl-tr.ps               2002-01-20 11:53   14M  
[   ] hawaii02.pdf            2002-05-22 16:30  1.0M  
[   ] hawaii02.ps             2002-05-22 16:30   26M  
[   ] fs02.ps                 2002-07-30 20:35   39M  
[   ] fs02.pdf                2002-07-30 20:35   19M  
[   ] need-proofs.pdf         2002-09-01 18:10  162K  
[   ] need-proofs.ps          2002-09-01 18:10  132K  
[   ] amai04.pdf              2003-01-26 02:15  566K  
[   ] amai04.ps               2003-01-26 02:15  528K  
[   ] leaner05.pdf            2003-03-11 23:04  234K  
[   ] leaner05.ps             2003-03-11 23:04  234K  
[   ] input-dist.pdf          2005-04-22 22:07  306K  
[   ] input-dist.ps           2005-04-22 22:07  171K  
[   ] input-dist-trans.pdf    2005-06-16 22:23  106K  
[   ] input-dist-trans.ps     2005-06-16 22:23  148K  
[   ] pool-res.pdf            2005-09-28 23:47  332K  
[   ] pool-res.ps             2005-09-28 23:47  191K  
[   ] lpar12long.pdf          2005-10-18 21:32  394K  
[   ] lpar12long.ps           2005-10-18 21:32  218K  
[   ] pool-res-longv.pdf      2005-10-18 21:32  394K  
[   ] pool-res-longv.ps       2005-10-18 21:32  218K  
[   ] colorsat02.pdf          2005-12-26 23:48  429K  
[   ] colorsat02.ps           2005-12-26 23:48  289K  
[   ] colorsat07.pdf          2005-12-26 23:48  429K  
[   ] colorsat07.ps           2005-12-26 23:48  289K  
[TXT] index.htmlMar19         2006-03-19 19:23  3.0K  
[   ] cover-number-long.pdf   2006-05-16 19:04  363K  
[   ] cover-number-long.ps    2006-05-16 19:04  200K  
[   ] cover-number.pdf        2006-05-16 19:04  363K  
[   ] cover-number.ps         2006-05-16 19:04  200K  
[   ] cover-number-short.pdf  2006-05-17 17:58  205K  
[   ] cover-number-short.ps   2006-05-17 17:58  127K  
[   ] hotptp-parser-ijcar0..> 2006-05-18 21:19  167K  
[   ] cover-number-trans.pdf  2006-08-09 14:40   45K  
[   ] cover-number-trans.ps   2006-08-09 14:40   41K  
[   ] amai04.bib              2006-12-08 21:36  326   
[   ] lics01-sat.bib          2006-12-08 21:52  270   
[   ] sat-pre-post.bib        2006-12-08 21:54  324   
[   ] watched-lits.bib        2006-12-08 21:55  315   
[   ] franco-vg.bib           2006-12-08 21:57  280   
[   ] fur_gi.bib              2006-12-08 21:58  315   
[   ] gg95.bib                2006-12-08 22:00  388   
[TXT] nail86.bib              2006-12-08 22:02  228   
[   ] elastic-tools-1.bib     2006-12-08 22:41  280   
[   ] anatomy97.bib           2006-12-08 22:43  352   
[   ] jtl.bib                 2006-12-08 22:46  360   
[   ] jtl-tr.bib              2006-12-08 23:05  348   
[DIR] Okushi/                 2006-12-08 23:19    -   
[   ] fs02.bib                2006-12-08 23:22  281   
[   ] hawaii02.bib            2006-12-08 23:24  336   
[   ] decimation-cgi99.bib    2006-12-08 23:30  289   
[   ] voltx96.bib             2006-12-08 23:31  331   
[   ] ambig94.bib             2006-12-08 23:33  465   
[   ] mirrors94.bib           2006-12-08 23:34  437   
[   ] vis93.bib               2006-12-08 23:37  427   
[   ] flow92.bib              2006-12-08 23:37  310   
[   ] vis96.bib               2006-12-08 23:38  355   
[   ] human00.bib             2006-12-08 23:43  337   
[   ] mdh94.bib               2006-12-09 00:17  366   
[   ] aggll-preprint.bib      2006-12-09 12:53  270   
[   ] altfpjcss.bib           2006-12-09 12:53  355   
[   ] aut-jar-dist.bib        2006-12-09 12:54  291   
[   ] chu91.bib               2006-12-09 12:54  256   
[   ] wfcircum90.bib          2006-12-09 12:54  335   
[   ] cover-number-short.bib  2006-12-09 12:55  365   
[   ] cover-number.bib        2006-12-09 12:55  365   
[   ] ddgen93.bib             2006-12-09 12:55  251   
[TXT] incomplete.bib          2006-12-09 12:57  1.2K  
[   ] input-dist.bib          2006-12-09 12:57  374   
[TXT] jlp87.bib               2006-12-09 12:57  246   
[   ] jlp89.bib               2006-12-09 12:58  453   
[   ] lemmas-dist.bib         2006-12-09 13:01  311   
[   ] modoc-ub-dist.bib       2006-12-09 13:02  248   
[   ] need-proofs.bib         2006-12-09 13:02  343   
[   ] oct92.bib               2006-12-09 13:03  301   
[   ] planning-dist.bib       2006-12-09 13:05  322   
[   ] termab91.bib            2006-12-09 13:05  261   
[   ] pods92.bib              2006-12-09 13:05  196   
[   ] poly-res.bib            2006-12-09 13:05  358   
[   ] pool-res.bib            2006-12-09 13:06  419   
[   ] safety87.bib            2006-12-09 13:06  249   
[TXT] sat2000.bib             2006-12-09 13:07  267   
[TXT] satIC1988.bib           2006-12-09 13:08  813   
[   ] proj91.bib              2006-12-09 13:08  268   
[   ] sigmod86.bib            2006-12-09 13:09  223   
[   ] volvis92.bib            2006-12-09 13:09  277   
[TXT] wf.bib                  2006-12-09 13:10  366   
[   ] wfax.bib                2006-12-09 13:11  241   
[TXT] wftut.bib               2006-12-09 13:11  268   
[TXT] kclose-tr.bib           2006-12-09 13:13  2.8K  
[   ] safety91.bib            2006-12-09 13:56  355   
[   ] wfcircum90.pdf          2006-12-09 15:26  314K  
[   ] ALLBIBS.tex             2006-12-09 16:58  165   
[   ] leaner05.bib            2006-12-09 20:09  348   
[   ] partition-cade13.bib    2006-12-09 21:37  475   
[   ] partition-IC.bib        2006-12-09 21:40  317   
[   ] streamsurf01.bib        2006-12-09 22:51  321   
[DIR] KjellPost/              2006-12-09 23:31    -   
[DIR] Sohn/                   2006-12-09 23:58    -   
[   ] COMBINE.csh             2006-12-15 20:04  242   
[TXT] jacm88.bib              2006-12-15 23:01  356   
[   ] parallel88.bib          2006-12-15 23:15  386   
[TXT] README                  2006-12-16 00:44  1.4K  
[   ] jlp90-scanned.pdf       2006-12-16 00:45  1.1M  
[   ] pram89.pdf              2006-12-16 00:51  1.0M  
[   ] pram89.bib              2006-12-16 00:57  260   
[   ] packet89.pdf            2006-12-16 00:58  903K  
[   ] packet89.bib            2006-12-16 01:02  242   
[   ] ALLBIBS.bib-2006        2006-12-16 01:06   26K  
[TXT] ALLBIBS.html-2006       2006-12-16 01:06   16K  
[   ] proofs-sat07.pdf        2007-03-15 23:03  197K  
[   ] rho_compare_peri.eps    2007-05-23 14:32   19K  
[   ] proofs-isaim08.pdf      2007-11-16 19:26  324K  
[   ] proofs-sat07.bib        2008-01-09 18:41  353   
[   ] eff-p-sim-aaai08-sen..> 2008-04-15 14:07  136K  
[IMG] post5pct-rc.tif         2008-08-08 16:17  356K  
[IMG] post5pct-rc.rgb         2008-08-08 16:22   64K  
[   ] colorsat02.bib          2008-09-10 18:48  364   
[   ] colorsat07.bib          2008-09-10 18:48  364   
[   ] tensors-vg08-long.pdf   2008-09-10 20:17  546K  
[   ] tensors-vg08-long.bib   2008-09-10 20:28  379   
[   ] hotptp-finite-ijcar0..> 2008-09-15 15:14  337K  
[   ] pvsolve-preprint-Dec..> 2008-12-23 16:59  2.0M  
[   ] eff-p-sim-aaai08.pdf    2009-01-10 06:52  263K  
[   ] eff-p-sim-aaai08.bib    2009-01-10 07:45  474   
[   ] rjcfTR.pdf              2009-01-30 18:23  1.2M  
[   ] proofs-isaim08.bib      2009-02-03 23:51  409   
[   ] ALLBIBS.bib-Feb03       2009-02-03 23:52   28K  
[   ] BIBtoHREF.awksh         2009-04-03 20:57  2.5K  
[   ] rjcfTR.bib              2009-04-03 21:50  360   
[   ] pvsolve-preprint.pdf    2009-04-03 21:55  1.8M  
[   ] pvsolve.pdf             2009-04-03 21:55  1.8M  
[   ] ccmin-avg-sat09.pdf     2009-05-15 10:57  173K  
[   ] ccmin-avg-sat09.bib     2009-07-24 16:43  384   
[   ] ALLBIBS.bib-2009-07-24  2009-07-24 16:47   29K  
[   ] href-all-2009-09-24     2009-09-24 18:16   12K  
[   ] stableFFF-preprint.pdf  2010-02-05 13:42  3.0M  
[   ] stableFFF.pdf           2010-02-05 13:42  3.0M  
[   ] href-all                2010-04-11 17:35   12K  
[   ] pvsolve.bib             2010-05-24 17:50  300   
[   ] ALLBIBS.bib-save        2010-05-24 17:51   31K  
[   ] sgen2-sat10.bib         2010-07-16 10:09  373   
[   ] generalized.pdf         2011-04-07 21:17  160K  
[   ] careful.pdf             2011-04-07 21:56  164K  
[   ] strategies.pdf          2011-04-15 21:37  387K  
[   ] generalized-trans.ps    2011-06-13 22:32   65K  
[   ] generalized-trans.pdf   2011-06-13 22:32   31K  
[   ] careful-trans.ps        2011-06-14 19:58   93K  
[   ] careful-trans.pdf       2011-06-14 19:58   44K  
[   ] qpup-trans.pdf          2011-06-15 22:53   45K  
[   ] var-indep-qbf-cp11.pdf  2011-06-28 17:38  255K  
[   ] var-indep-qbf.pdf       2011-06-28 17:38  255K  
[   ] careful.bib             2011-07-15 19:25  252   
[   ] generalized.bib         2011-07-15 19:27  282   
[TXT] stableFFF.bib           2011-07-15 19:35  1.9K  
[   ] strategies.bib          2011-09-05 22:25  479   
[   ] pvsolve-preprint.bib    2011-09-06 15:00  423   
[   ] ALLBIBS.bib-Jul15       2011-09-06 22:40   33K  
[TXT] ALLBIBS.html-Jul15      2011-09-06 22:42   19K  
[   ] ALLBIBS.ps              2011-09-06 22:49   37K  
[   ] ALLBIBS.pdf             2011-09-06 22:49   31K  
[   ] ALLBIBS.bib-Sep06       2011-09-06 23:27   36K  
[TXT] ALLTITLES.unsort-Sep06  2011-09-06 23:29   14K  
[TXT] std-preamble.html       2011-09-09 18:24  277   
[TXT] NEWTITLES.html          2011-09-09 18:34  1.9K  
[TXT] ALLTITLES.html-Sep09    2011-09-09 18:36   14K  
[   ] vcore-vda12.pdf         2011-10-29 23:32  149K  
[   ] vcore-vda12.bib         2011-11-12 16:02  299   
[   ] ALLBIBS.bib             2011-11-12 16:09   33K  
[TXT] ALLBIBS.bbl             2011-11-12 16:09   19K  
[TXT] ALLBIBS.blg             2011-11-12 16:09  1.2K  
[   ] ALLBIBS.aux             2011-11-12 16:09  2.2K  
[   ] ALLBIBS.dvi             2011-11-12 16:09   20K  
[TXT] ALLBIBS.html            2011-11-12 16:09   19K  
[TXT] ALLBIBS.log             2011-11-12 16:09  3.7K  
[   ] BIBtoTITLE.awksh        2011-11-12 16:48  3.1K  
[TXT] ALLTITLES.unsort        2011-11-12 16:48   15K  
[   ] BIBtoTITLE.csh          2011-11-12 16:49  504   
[   ] vcore-vda12-trans.pdf   2012-01-18 19:43   29K  
[   ] var-indep-qbf.bib       2012-02-12 19:04  501   
[   ] contra-jsat12.pdf       2012-02-16 10:39  176K  
[   ] efl-sat12.pdf           2012-05-18 17:01  345K  
[   ] efl-sat12-trans.pdf     2012-06-13 23:46  117K  
[   ] qpup-cp12.pdf           2012-08-09 17:02  281K  
[   ] cake-amai12.pdf         2012-10-24 16:14  509K  
[   ] proofs-amai12.pdf       2012-10-24 16:14  509K  
[   ] proofs-amai12.bib       2012-12-14 11:56  329   
[   ] qpup-depqbf-sat13.pdf   2013-04-22 04:22  352K  
[   ] dual-qbf-cp13.pdf       2013-06-27 20:05  218K  
[   ] BlkrCert.tar            2013-07-03 21:21  633K  
[   ] jlp90.pdf               2013-08-12 20:53  841K  
[   ] jlp90.bib               2013-08-18 19:54  245   
[TXT] ALLTITLES.html-Aug18    2013-08-18 19:58   15K  
[   ] wfax.pdf                2013-08-18 20:07  2.8M  
[   ] contra-jsat12.bib       2014-03-16 20:45  258   
[   ] cake-amai12.bib         2014-03-16 20:47  288   
[TXT] qpup-cp12.bib           2014-03-18 17:15  297   
[   ] efl-sat12.bib           2014-03-18 17:17  292   
[   ] var-indep-qbf-cp11.bib  2014-03-18 17:50  491   
[   ] dual-qbf-cp13.bib       2014-03-18 17:55  318   
[   ] qpup-depqbf-sat13.bib   2014-03-18 18:18  355   
[TXT] REVIEW14.html           2014-09-11 21:49  1.1K  
[   ] sigmod86.pdf            2015-03-18 14:07  1.1M  
[   ] jlp87.pdf               2015-03-18 14:55  670K  
[TXT] slqr.bbl                2023-06-13 19:33  3.3K  
[TXT] slqrcmr.bbl             2023-06-13 19:33  3.3K  
[   ] slqr-long.pdf           2023-06-18 19:59  184K  
[TXT] ALLTITLES.html          2023-06-18 20:22   15K
Apache/2.4.6 (CentOS) Server at users.soe.ucsc.edu Port 443