GD-SAT model and crossover line

DOI10.1080/09528130110063083MaRDI QIDQ4784347zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 67483 (Why is no real title available?)
• A machine program for theorem-proving
• A threshold for unsatisfiability
• Branch-and-cut solution of inference problems in propositional logic
• Critical Behavior in the Satisfiability of Random Boolean Expressions
• Rigorous results for random (\(2+p)\)-SAT
• Sharp thresholds of graph properties, and the $k$-sat problem
• Tail bounds for occupancy and the satisfiability threshold conjecture

This page was built for publication: GD-SAT model and crossover line

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