EZCSP
Team
- Marcello Balduccini (Eastman Kodak)
- Yuliya Lierler (University of Nebraska at Omaha)
- Selim Erdogan (N/A)
- Daniela Inclezan (N/A)
- Vladimir Lifschitz (University of Texas)
- Bijoy Arif (University of Nebraska at Omaha)
- Kurt Hungerford (University of Nebraska at Omaha)
- Richard Pell (University of Nebraska at Omaha)
- Zack Buhman (University of Nebraska at Omaha)
Description
Ezcsp solver: gringo for grounding; clasp finds an answer set; then, the constraint solver of B-Prolog looks for solutions to the constraint problem encoded by the answer set. If no such solution is found, backtracking occurs.
- ASP{f} solver: uses clingo extended for support of non-Herbrand functions.
- clingcon solver: unmodified solver.
System Settings
- Ezcsp solver: gringo, clasp and the constraint solver of B-Prolog, all used with standard settings.
- ASP{f} solver: clingo with standard settings.
- clingcon solver: standard settings.
References
M. Balduccini, An Answer Set Solver for non-Herbrand Programs: Progress Report, Technical Communications of the 28th Int'l. Conference on Logic Programming (ICLP'12)", Sep. 2012.
M. Balduccini, Representing Constraint Satisfaction Problems in Answer Set Programming, ICLP09 Workshop on Answer Set Programming and Other Com puting Paradigms (ASPOCP09), Jul. 2009.