A Duality between Clause Width and Clause Density for SAT

CC
CCC
2006
21st Annual IEEE Conference on Computational Complexity (CCC'06)
Abstract - A Duality between Clause Width and Clause Density for SAT

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Chris Calabro Articles by Russell Impagliazzo Articles by Ramamohan Paturi

21st Annual IEEE Conference on Computational Complexity (CCC'06)

Prague, Czech Republic

July 16-July 20

ISBN: 0-7695-2596-2

	ASCII Text	x
	Chris Calabro, Russell Impagliazzo, Ramamohan Paturi, "A Duality between Clause Width and Clause Density for SAT," Computational Complexity, Annual IEEE Conference on, pp. 252-260, 21st Annual IEEE Conference on Computational Complexity (CCC'06), 2006.

	BibTex	x
	@article{ 10.1109/CCC.2006.6, author = {Chris Calabro and Russell Impagliazzo and Ramamohan Paturi}, title = {A Duality between Clause Width and Clause Density for SAT}, journal ={Computational Complexity, Annual IEEE Conference on}, volume = {0}, year = {2006}, issn = {1093-0159}, pages = {252-260}, doi = {http://doi.ieeecomputersociety.org/10.1109/CCC.2006.6}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computational Complexity, Annual IEEE Conference on TI - A Duality between Clause Width and Clause Density for SAT SN - 1093-0159 SP252 EP260 A1 - Chris Calabro, A1 - Russell Impagliazzo, A1 - Ramamohan Paturi, PY - 2006 KW - null VL - 0 JA - Computational Complexity, Annual IEEE Conference on ER -

Chris Calabro, University of California, San Diego, USA

Russell Impagliazzo, University of California, San Diego, USA

Ramamohan Paturi, University of California, San Diego, USA

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CCC.2006.6

Citation:

Chris Calabro, Russell Impagliazzo, Ramamohan Paturi, "A Duality between Clause Width and Clause Density for SAT," ccc, pp.252-260, 21st Annual IEEE Conference on Computational Complexity (CCC'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.