Login

	RSS 1.0
	RSS 2.0
	Atom

Comparing SAT preprocessing techniques

Drake, L., Frisch, A., Lynce, I., Marques-Silva, J. P. and Walsh, T. (2002) Comparing SAT preprocessing techniques. In, Workshop on Automated Reasoning

Download

[img]

Postscript
Download (36Kb)

Item Type:	Conference or Workshop Item (Paper)
Additional Information:	Event Dates: April 2002
Related URLs:	http://www.ecs.soton.ac.uk/~jp...s-ar02.pdf
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science
Item ID:	262262
Date Deposited:	04 Apr 2006
Last Modified:	02 Mar 2012 12:59
Contributors:	Drake, L. (Author) Frisch, A. (Author) Lynce, I. (Author) Marques-Silva, J. P. (Author) Walsh, T. (Author)
Date:	April 2002
Additional Information:	Event Dates: April 2002
Status:	Published
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/262262

Actions (login required)

View Item

View Item

Contact ePrints Soton: eprints@soton.ac.uk
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2