1.1k citations
- Data61AU50 papers
- Commonwealth Scientific and Industrial Research OrganisationAU37 papers
- Australia Telescope National FacilityAU30 papers
- Swinburne University of TechnologyAU22 papers
- The University of SydneyAU22 papers
- Australian National UniversityAU21 papers
- Centre for Quantum Computation and Communication TechnologyAU20 papers
- Australian Defence Force AcademyAU17 papers
- Centre National de la Recherche ScientifiqueFR17 papers
- The University of QueenslandAU15 papers
- The University of MelbourneAU14 papers
- Australian Research CouncilAU13 papers
4 papers · 2 filters
Reformulation of Global Constraints in Answer Set Programming
Christian Drescher, Toby Walsh
We show that global constraints on finite domains like all-different can be reformulated into answer set programs on which we achieve arc, bound or range consistency. These reformu…
Symmetry-breaking Answer Set Solving
Christian Drescher, Oana Tifrea, Toby Walsh
In the context of Answer Set Programming, this paper investigates symmetry-breaking to eliminate symmetric parts of the search space and, thereby, simplify the solution process. We…
A Translational Approach to Constraint Answer Set Solving
Christian Drescher, Toby Walsh
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in A…
On Probabilistic Alternating Simulations
Chenyi Zhang, Jun Pang
This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called probabili…