On local domain symmetry for model expansion

DOI10.1017/S1471068416000508zbMath1379.68055arXiv1608.02688MaRDI QIDQ4593047

Maurice Bruynooghe, Marc Denecker, Bart Bogaerts, Jo Devriendt

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Related Items (3)

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems ⋮ Lifting symmetry breaking constraints with inductive logic programming ⋮ Abstraction for non-ground answer set programs

Uses Software

• Kodkod

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generating effective symmetry-breaking predicates for search problems
• Symmetry and Satisfiability: An Update
• A logic of nonmonotone inductive definitions
• Kodkod: A Relational Model Finder

This page was built for publication: On local domain symmetry for model expansion