scientific article

zbMath1215.68212arXiv1008.1809MaRDI QIDQ3011301

Toby Walsh, Oana Tifrea, Christian Drescher

Publication date: 28 June 2011

Full work available at URL: https://arxiv.org/abs/1008.1809

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

symmetry breakinganswer set programminggraph automorphism problem

Mathematics Subject Classification ID

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

Related Items (6)

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems ⋮ Lifting symmetry breaking constraints with inductive logic programming ⋮ On local domain symmetry for model expansion ⋮ Unnamed Item ⋮ Abstraction for non-ground answer set programs ⋮ Induction and Exploitation of Subgoal Automata for Reinforcement Learning

Uses Software

• CSPLib

This page was built for publication: