Index of /~avg/Papers

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