GD-SAT model and crossover line

DOI10.1080/09528130110063083zbMath1006.68680OpenAlexW2069243820MaRDI QIDQ4784347

Predrag Janičić

Publication date: 17 March 2003

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/09528130110063083

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computing methodologies and applications (68U99)

Cites Work

• A threshold for unsatisfiability
• Branch-and-cut solution of inference problems in propositional logic
• Critical Behavior in the Satisfiability of Random Boolean Expressions
• Sharp thresholds of graph properties, and the $k$-sat problem
• Tail bounds for occupancy and the satisfiability threshold conjecture
• A machine program for theorem-proving
• Rigorous results for random (\(2+p)\)-SAT
• Unnamed Item