Random 2-SAT solution components and a fitness landscape

MaRDI QIDQ5403060zbMATH OpenFDO

Authors Damien Pitman

Publication date 25 March 2014

Full work available at URL https://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/1024/0.html

zbMATH Keywords

clustersfitness landscaperandom graphscomponents2-SATincompatibilitiies

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Random graphs (graph-theoretic aspects) (05C80) Analysis of algorithms and problem complexity (68Q25) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Random 2-SAT: Results and problems
• On the solution-space geometry of random constraint satisfaction problems
• The number of satisfying assignments of random 2‐SAT formulas
• Solution clustering in random satisfiability
• On the solution-space geometry of random constraint satisfaction problems

This page was built for publication: Random 2-SAT solution components and a fitness landscape

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