On the Random Generation of 3-SAT Instances

On the Random Generation of 3-SAT Instances (1995)

by Antoine Rauzy

Venue:	LABORATOIRE BORDELAIS DE RECHERCHE EN INFORMATIQUE, UNIVERSITE BORDEAUX I
Citations:	2 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	On the Random Generation of 3-SAT Instances	SVM HeaderParse 0.1
AUTHOR NAME	Antoine Rauzy	user correction
AUTHOR AFFIL	LaBRI, Universite Bordeaux I	user correction
AUTHOR ADDR	351, Cours de la Liberation, 33405 Talence Cedex, FRANCE	user correction
ABSTRACT	Deep results have been obtained recently on randomly generated k-SAT instances. They have	user correction
YEAR	1995	INFERENCE
VENUE	LABORATOIRE BORDELAIS DE RECHERCHE EN INFORMATIQUE, UNIVERSITE BORDEAUX I	user correction
VENUE TYPE	TECHREPORT	INFERENCE
TECH	Technical Report 1060-95	INFERENCE
CITATIONS	23 found	ParsCit 1.0