scientific article; zbMATH DE number 2084764

MaRDI QIDQ4475703zbMATH OpenFDO

Authors Iain McDonald

Publication date 9 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• Symmetry Breaking for Maximum Satisfiability
• Optimal symmetry breaking for graph problems
• Local Symmetry Breaking During Search in CSPs
• A Novel Approach For Detecting Symmetries in CSP Models
• Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
• Artificial Intelligence and Symbolic Computation
• On the asymmetric complexity of the group-intersection problem
• Exploiting symmetry in SMT problems
• CDCLSym: introducing effective symmetry breaking in SAT solving

Cited in

(3)

• Local Symmetry Breaking During Search in CSPs
• Groupoids and Conditional Symmetry
• Artificial Intelligence and Symbolic Computation

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