Symmetry-breaking answer set solving

MaRDI QIDQ3011301zbMATH OpenFDO

Authors Christian Drescher, Oana Tifrea, Toby Walsh

Publication date 28 June 2011

Full work available at URL https://arxiv.org/abs/1008.1809, http://iospress.metapress.com/content/n643l7w1660736g2/fulltext.html

zbMATH Keywords

answer set programminggraph automorphism problemsymmetry breaking

Mathematics Subject Classification ID

Logic programming (68N17) Graph theory (including graph drawing) in computer science (68R10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Dynamic and static symmetry breaking in answer set programming
• Symmetry breaking revisited
• scientific article; zbMATH DE number 2084699
• Symmetries of symmetry breaking constraints
• Lightweight dynamic symmetry breaking

Cited in

(9)

• Dynamic structural symmetry breaking for constraint satisfaction problems
• Lifting symmetry breaking constraints with inductive logic programming
• Dynamic and static symmetry breaking in answer set programming
• On local domain symmetry for model expansion
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)
• Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
• Symmetry Breaking for Maximum Satisfiability
• Induction and exploitation of subgoal automata for reinforcement learning
• Abstraction for non-ground answer set programs

Describes a project that uses

Uses Software

• CSPLib

This page was built for publication: Symmetry-breaking answer set solving

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