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 programmingsymmetry breakinggraph automorphism problem

Mathematics Subject Classification ID

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

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)

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

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)