scientific article; zbMATH DE number 2080304

MaRDI QIDQ4473023zbMATH OpenFDO

Authors Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1894/18940143.htm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Random 3-SAT: The plot thickens
• scientific article; zbMATH DE number 2084701
• scientific article; zbMATH DE number 2083805
• Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances
• Implicates and prime implicates in random 3-SAT

Cited in

(11)

• Random 3-SAT: The plot thickens
• Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances
• On SAT instance classes and a method for reliable performance experiments with SAT solvers
• Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT
• A sharp threshold in proof complexity yields lower bounds for satisfiability search
• New models for generating hard random Boolean formulas and disjunctive logic programs
• On the typical case complexity of graph optimization
• Implicates and prime implicates in random 3-SAT
• Critical behavior in the computational cost of satisfiability testing
• scientific article; zbMATH DE number 2084701 (Why is no real title available?)
• Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances

Describes a project that uses

Uses Software

• CUDD
• CPLEX

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473023)