scientific article; zbMATH DE number 2084703

MaRDI QIDQ4475628zbMATH OpenFDO

Authors Weixiong Zhang

Publication date 9 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1369843
• Random MAX SAT, random MAX CUT, and their phase transitions
• An Empirical Study of MAX-2-SAT Phase Transitions
• Phase Transition for Maximum Not-All-Equal Satisfiability
• scientific article; zbMATH DE number 2079360

Cited in

(13)

• HC\_AB: a new heuristic clustering algorithm based on approximate backbone
• Probabilistic logic with independence
• MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
• SAT distributions with planted assignments and phase transitions between decision and optimization problems
• The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability
• The phase transition in 1-in-k SAT and NAE 3-SAT
• SAT Distributions with Phase Transitions between Decision and Optimization Problems
• A note on backbones in optimization and approximation
• Empirical study of phase transition of Hamiltonian cycle problem in random graphs with degrees greater than one
• Phase Transition for Maximum Not-All-Equal Satisfiability
• Manipulation can be hard in tractable voting systems even for constant-sized coalitions
• On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes
• Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability

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 Q4475628)