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