Index of /~avg/Papers

	Name	Last modified	Size	Description
	Parent Directory		-
	ALLBIBS.aux	24-Jul-2009 16:47	2.0K
	ALLBIBS.bbl	24-Jul-2009 16:47	17K
	ALLBIBS.bib	24-Jul-2009 16:47	29K
	ALLBIBS.bib-2006	16-Dec-2006 01:06	26K
	ALLBIBS.bib-Feb03	03-Feb-2009 23:52	28K
	ALLBIBS.blg	24-Jul-2009 16:47	1.2K
	ALLBIBS.dvi	24-Jul-2009 16:47	18K
	ALLBIBS.html	24-Jul-2009 16:47	18K
	ALLBIBS.html-2006	16-Dec-2006 01:06	16K
	ALLBIBS.pdf	24-Jul-2009 16:51	28K
	ALLBIBS.ps	24-Jul-2009 16:50	35K
	ALLBIBS.tex	09-Dec-2006 16:58	165
	BIBtoHREF.awksh	03-Apr-2009 20:57	2.5K
	COMBINE.csh	15-Dec-2006 20:04	242
	KjellPost/	09-Dec-2006 23:31	-
	Okushi/	08-Dec-2006 23:19	-
	README	16-Dec-2006 00:44	1.4K
	Sohn/	09-Dec-2006 23:58	-
	aggll-preprint.bib	09-Dec-2006 12:53	270
	aggll-preprint.pdf	20-Feb-1995 19:02	397K
	aggll-preprint.ps	20-Feb-1995 19:02	216K
	altfpjcss.bib	09-Dec-2006 12:53	355
	altfpjcss.pdf	07-Feb-1995 21:00	629K
	altfpjcss.ps	07-Feb-1995 21:00	311K
	amai04.bib	08-Dec-2006 21:36	326
	amai04.pdf	26-Jan-2003 02:15	566K
	amai04.ps	26-Jan-2003 02:15	528K
	ambig94.bib	08-Dec-2006 23:33	465
	ambig94.pdf	12-Sep-1994 20:36	898K
	ambig94.ps	12-Sep-1994 20:36	3.2M
	anatomy97.bib	08-Dec-2006 22:43	352
	anatomy97.pdf	05-May-1997 17:31	1.8M
	anatomy97.ps	05-May-1997 17:31	36M
	aut-jar-dist.bib	09-Dec-2006 12:54	291
	aut-jar-dist.pdf	22-Dec-1998 07:25	1.0M
	aut-jar-dist.ps	22-Dec-1998 07:25	445K
	ccmin-avg-sat09.bib	24-Jul-2009 16:43	384
	ccmin-avg-sat09.pdf	15-May-2009 10:57	173K
	chu91.bib	09-Dec-2006 12:54	256
	chu91.pdf	27-Jun-1990 23:08	558K
	chu91.ps	27-Jun-1990 23:08	321K
	cites.3405	24-Sep-2009 17:32	180
	cites.127769	25-Sep-2009 11:37	180
	cites.127835	25-Sep-2009 11:42	218
	colorsat02.bib	10-Sep-2008 18:48	364
	colorsat02.pdf	26-Dec-2005 23:48	429K
	colorsat02.ps	26-Dec-2005 23:48	289K
	colorsat07.bib	10-Sep-2008 18:48	364
	colorsat07.pdf	26-Dec-2005 23:48	429K
	colorsat07.ps	26-Dec-2005 23:48	289K
	cover-number-long.pdf	16-May-2006 19:04	363K
	cover-number-long.ps	16-May-2006 19:04	200K
	cover-number-short.bib	09-Dec-2006 12:55	365
	cover-number-short.pdf	17-May-2006 17:58	205K
	cover-number-short.ps	17-May-2006 17:58	127K
	cover-number-trans.pdf	09-Aug-2006 14:40	45K
	cover-number-trans.ps	09-Aug-2006 14:40	41K
	cover-number.bib	09-Dec-2006 12:55	365
	cover-number.pdf	16-May-2006 19:04	363K
	cover-number.ps	16-May-2006 19:04	200K
	ddgen93.bib	09-Dec-2006 12:55	251
	ddgen93.pdf	19-Apr-1994 16:07	356K
	ddgen93.ps	19-Apr-1994 16:07	194K
	decimation-cgi99.bib	08-Dec-2006 23:30	289
	decimation-cgi99.pdf	10-Mar-1999 16:16	682K
	decimation-cgi99.ps	10-Mar-1999 16:16	12M
	eff-p-sim-aaai08-sent.pdf	15-Apr-2008 14:07	136K
	eff-p-sim-aaai08.bib	10-Jan-2009 07:45	474
	eff-p-sim-aaai08.pdf	10-Jan-2009 06:52	263K
	elastic-tools-1.bib	08-Dec-2006 22:41	280
	elastic-tools-1.pdf	02-Jan-1999 20:21	531K
	elastic-tools-1.ps	02-Jan-1999 20:21	11M
	elastic-tr-97-12.pdf	22-May-1998 20:49	366K
	elastic-tr-97-12.ps	22-May-1998 20:49	10M
	fauna_tr_figs.pdf	30-May-1997 20:50	1.9M
	fauna_tr_figs.ps	30-May-1997 20:50	43M
	fauna_tr_text.pdf	30-May-1997 20:43	349K
	fauna_tr_text.ps	30-May-1997 20:43	205K
	flow92.bib	08-Dec-2006 23:37	310
	franco-vg.bib	08-Dec-2006 21:57	280
	franco-vg.pdf	02-Nov-2001 21:56	732K
	franco-vg.ps	02-Nov-2001 21:56	371K
	fs02.bib	08-Dec-2006 23:22	281
	fs02.pdf	30-Jul-2002 20:35	19M
	fs02.ps	30-Jul-2002 20:35	39M
	fur_gi.bib	08-Dec-2006 21:58	315
	fur_gi.pdf	30-May-1997 12:48	1.3M
	fur_gi.ps	30-May-1997 12:48	15M
	gg95.bib	08-Dec-2006 22:00	388
	google.3405	24-Sep-2009 17:32	98K
	google.3405.1	24-Sep-2009 17:32	98K
	google.3405.2	24-Sep-2009 17:32	7.3K
	google.3405.3	24-Sep-2009 17:32	4.6K
	google.127769	25-Sep-2009 11:37	98K
	google.127769.1	25-Sep-2009 11:37	98K
	google.127769.2	25-Sep-2009 11:37	7.3K
	google.127769.3	25-Sep-2009 11:37	4.6K
	google.127835	25-Sep-2009 11:42	104K
	google.127835.1	25-Sep-2009 11:42	104K
	google.127835.2	25-Sep-2009 11:42	7.5K
	google.127835.3	25-Sep-2009 11:42	5.2K
	hawaii02.bib	08-Dec-2006 23:24	336
	hawaii02.pdf	22-May-2002 16:30	1.0M
	hawaii02.ps	22-May-2002 16:30	26M
	hotptp-finite-ijcar06.pdf	15-Sep-2008 15:14	337K
	hotptp-parser-ijcar06.pdf	18-May-2006 21:19	167K
	href-all	24-Sep-2009 18:16	12K
	human00.bib	08-Dec-2006 23:43	337
	human00.pdf	14-Oct-2000 21:18	606K
	human00.ps	14-Oct-2000 21:18	7.6M
	incomplete.bib	09-Dec-2006 12:57	1.2K
	incomplete.pdf	01-Aug-1993 00:41	252K
	incomplete.ps	01-Aug-1993 00:41	134K
	index.htmlMar19	19-Mar-2006 19:23	3.0K
	input-dist-trans.pdf	16-Jun-2005 22:23	106K
	input-dist-trans.ps	16-Jun-2005 22:23	148K
	input-dist.bib	09-Dec-2006 12:57	374
	input-dist.pdf	22-Apr-2005 22:07	306K
	input-dist.ps	22-Apr-2005 22:07	171K
	jacm88.bib	15-Dec-2006 23:01	356
	jlp87.bib	09-Dec-2006 12:57	246
	jlp89.bib	09-Dec-2006 12:58	453
	jlp90.bib	09-Dec-2006 12:58	245
	jlp90.pdf	16-Dec-2006 00:45	1.1M
	jtl-tr.bib	08-Dec-2006 23:05	348
	jtl-tr.pdf	20-Jan-2002 11:53	513K
	jtl-tr.ps	20-Jan-2002 11:53	14M
	jtl.bib	08-Dec-2006 22:46	360
	jtl.pdf	02-Aug-2001 20:20	383K
	jtl.ps	02-Aug-2001 20:20	5.1M
	kclose-tr.bib	09-Dec-2006 13:13	2.8K
	kclose-tr.pdf	19-Oct-1995 19:56	623K
	kclose-tr.ps	19-Oct-1995 19:56	270K
	leaner05.bib	09-Dec-2006 20:09	348
	leaner05.pdf	11-Mar-2003 23:04	234K
	leaner05.ps	11-Mar-2003 23:04	234K
	lemmas-dist.bib	09-Dec-2006 13:01	311
	lemmas-dist.pdf	20-Dec-1998 20:31	432K
	lemmas-dist.ps	20-Dec-1998 20:31	536K
	lics01-sat.bib	08-Dec-2006 21:52	270
	lics01-sat.pdf	19-May-2001 12:29	309K
	lics01-sat.ps	19-May-2001 12:29	245K
	lpar12long.pdf	18-Oct-2005 21:32	394K
	lpar12long.ps	18-Oct-2005 21:32	218K
	mdh94.bib	09-Dec-2006 00:17	366
	mdh94.pdf	13-Jul-1994 10:40	406K
	mdh94.ps	13-Jul-1994 10:40	252K
	mdhTR-94Jan21.pdf	18-Feb-1994 15:34	472K
	mdhTR-94Jan21.ps	18-Feb-1994 15:34	249K
	mirrors94.bib	08-Dec-2006 23:34	437
	mirrors94.pdf	16-Feb-1994 13:08	246K
	mirrors94.ps	16-Feb-1994 13:08	719K
	modoc-ub-dist.bib	09-Dec-2006 13:02	248
	modoc-ub-dist.pdf	15-Jun-1998 09:41	497K
	modoc-ub-dist.ps	15-Jun-1998 09:41	270K
	nail86.bib	08-Dec-2006 22:02	228
	need-proofs.bib	09-Dec-2006 13:02	343
	need-proofs.pdf	01-Sep-2002 18:10	162K
	need-proofs.ps	01-Sep-2002 18:10	132K
	oct92.bib	09-Dec-2006 13:03	301
	oct92.pdf	11-May-1992 08:50	703K
	oct92.ps	11-May-1992 08:50	1.7M
	packet89.bib	16-Dec-2006 01:02	242
	packet89.pdf	16-Dec-2006 00:58	903K
	parallel88.bib	15-Dec-2006 23:15	386
	partition-IC.bib	09-Dec-2006 21:40	317
	partition-IC.pdf	03-Nov-1998 15:38	183K
	partition-IC.ps	03-Nov-1998 15:38	113K
	partition-cade13.bib	09-Dec-2006 21:37	475
	partition-cade13.pdf	24-Apr-1996 13:11	319K
	partition-cade13.ps	24-Apr-1996 13:11	194K
	planning-dist.bib	09-Dec-2006 13:05	322
	planning-dist.pdf	06-Nov-1998 19:14	498K
	planning-dist.ps	06-Nov-1998 19:14	706K
	pods92.bib	09-Dec-2006 13:05	196
	pods92.pdf	14-Nov-1994 22:40	386K
	pods92.ps	14-Nov-1994 22:40	203K
	poly-res.bib	09-Dec-2006 13:05	358
	poly-res.pdf	15-Nov-1997 19:43	287K
	poly-res.ps	15-Nov-1997 19:43	156K
	pool-res-longv.pdf	18-Oct-2005 21:32	394K
	pool-res-longv.ps	18-Oct-2005 21:32	218K
	pool-res.bib	09-Dec-2006 13:06	419
	pool-res.pdf	28-Sep-2005 23:47	332K
	pool-res.ps	28-Sep-2005 23:47	191K
	post5pct-rc.rgb	08-Aug-2008 16:22	64K
	post5pct-rc.tif	08-Aug-2008 16:17	356K
	pram89.bib	16-Dec-2006 00:57	260
	pram89.pdf	16-Dec-2006 00:51	1.0M
	proj91.bib	09-Dec-2006 13:08	268
	proj91.pdf	24-Jun-1996 18:19	308K
	proj91.ps	24-Jun-1996 18:19	168K
	proofs-isaim08.bib	03-Feb-2009 23:51	409
	proofs-isaim08.pdf	16-Nov-2007 19:26	324K
	proofs-sat07.bib	09-Jan-2008 18:41	353
	proofs-sat07.pdf	15-Mar-2007 23:03	197K
	pvsolve-preprint-Dec23.pdf	23-Dec-2008 16:59	2.0M
	pvsolve-preprint.bib	03-Apr-2009 22:20	422
	pvsolve-preprint.pdf	03-Apr-2009 21:55	1.8M
	pvsolve.bib	16-Mar-2009 20:15	302
	rho_compare_peri.eps	23-May-2007 14:32	19K
	rjcfTR.bib	03-Apr-2009 21:50	360
	rjcfTR.pdf	30-Jan-2009 18:23	1.2M
	safety87.bib	09-Dec-2006 13:06	249
	safety91.bib	09-Dec-2006 13:56	355
	sat-pre-post.bib	08-Dec-2006 21:54	324
	sat-pre-post.pdf	01-Oct-2001 09:00	178K
	sat-pre-post.ps	01-Oct-2001 09:00	144K
	sat2000.bib	09-Dec-2006 13:07	267
	satIC1988.bib	09-Dec-2006 13:08	813
	satIC1988.pdf	04-May-2001 17:56	166K
	satIC1988.ps	04-May-2001 17:56	132K
	sigmod86.bib	09-Dec-2006 13:09	223
	streamsurf01.bib	09-Dec-2006 22:51	321
	streamsurf01.pdf	19-Feb-2001 20:50	618K
	streamsurf01.ps	19-Feb-2001 20:50	14M
	tensors-vg08-long.bib	10-Sep-2008 20:28	379
	tensors-vg08-long.pdf	10-Sep-2008 20:17	546K
	termab91.bib	09-Dec-2006 13:05	261
	termab91.pdf	23-Mar-1994 16:48	293K
	termab91.ps	23-Mar-1994 16:48	167K
	vis93.bib	08-Dec-2006 23:37	427
	vis93.pdf	01-Jul-1993 15:24	272K
	vis93.ps	01-Jul-1993 15:24	233K
	vis96.bib	08-Dec-2006 23:38	355
	vis96.pdf	16-Jul-1996 15:12	358K
	vis96.ps	16-Jul-1996 15:12	8.7M
	voltx-tr-96-16.pdf	01-Aug-1996 23:00	432K
	voltx-tr-96-16.ps	01-Aug-1996 23:00	1.8M
	voltx96.bib	08-Dec-2006 23:31	331
	voltx96.pdf	19-Jul-1996 16:19	373K
	voltx96.ps	19-Jul-1996 16:19	1.7M
	volvis92.bib	09-Dec-2006 13:09	277
	watched-lits.bib	08-Dec-2006 21:55	315
	watched-lits.pdf	03-Oct-2001 00:20	101K
	watched-lits.ps	03-Oct-2001 00:20	55K
	wf.bib	09-Dec-2006 13:10	366
	wf.pdf	15-Jun-2000 09:24	575K
	wf.ps	15-Jun-2000 09:24	296K
	wfax.bib	09-Dec-2006 13:11	241
	wfax.pdf	02-Jun-1993 19:08	662K
	wfax.ps	02-Jun-1993 19:08	319K
	wfcircum90.bib	09-Dec-2006 12:54	335
	wfcircum90.pdf	09-Dec-2006 15:26	314K
	wfcircum90.ps	12-Sep-1990 20:37	177K
	wftut.bib	09-Dec-2006 13:11	268
	wftut.pdf	26-Oct-1997 21:36	341K
	wftut.ps	26-Oct-1997 21:36	192K