Index of /~avg/Papers
Name Last modified Size Description
ALLBIBS.aux 2011-11-12 16:09 2.2K
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
ALLBIBS.blg 2011-11-12 16:09 1.2K
ALLBIBS.dvi 2011-11-12 16:09 20K
ALLBIBS.html 2011-11-12 16:09 19K
ALLBIBS.html-2006 2006-12-16 01:06 16K
ALLBIBS.html-Jul15 2011-09-06 22:42 19K
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
ALLTITLES.html 2023-06-18 20:22 15K
ALLTITLES.html-Aug18 2013-08-18 19:58 15K
ALLTITLES.html-Sep09 2011-09-09 18:36 14K
ALLTITLES.unsort 2011-11-12 16:48 15K
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
KjellPost/ 2006-12-09 23:31 -
NEWTITLES.html 2011-09-09 18:34 1.9K
Okushi/ 2006-12-08 23:19 -
README 2006-12-16 00:44 1.4K
REVIEW14.html 2014-09-11 21:49 1.1K
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
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
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
jacm88.bib 2006-12-15 23:01 356
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
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
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
post5pct-rc.rgb 2008-08-08 16:22 64K
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
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
sat2000.bib 2006-12-09 13:07 267
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.bib 2010-07-16 10:09 373
sigmod86.bib 2006-12-09 13:09 223
sigmod86.pdf 2015-03-18 14:07 1.1M
slqr-long.pdf 2023-06-18 19:59 184K
slqr.bbl 2023-06-13 19:33 3.3K
slqrcmr.bbl 2023-06-13 19:33 3.3K
stableFFF-preprint.pdf 2010-02-05 13:42 3.0M
stableFFF.bib 2011-07-15 19:35 1.9K
stableFFF.pdf 2010-02-05 13:42 3.0M
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
var-indep-qbf.bib 2012-02-12 19:04 501
var-indep-qbf.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
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
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