Random 3-SAT: The plot thickens
From MaRDI portal
Publication:1424763
DOI10.1023/A:1025671026963zbMath1057.68041MaRDI QIDQ1424763
Moshe Y. Vardi, Cristian Coarfa, Devika Subramanian, Alfonso San Miguel Aguirre, Demetrios D. Demopoulos
Publication date: 15 March 2004
Published in: Constraints (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (3)
Symbolic techniques in satisfiability solving ⋮ Generating random instances of weighted model counting. An empirical analysis with varying primal treewidth ⋮ On the hierarchical community structure of practical Boolean formulas
Uses Software
This page was built for publication: Random 3-SAT: The plot thickens
