SMT-based Constraint Answer Set Solver EZSMT+

Add code
Jun 03, 2019
Da Shen, Yuliya Lierler
Figure 1 for SMT-based Constraint Answer Set Solver EZSMT+
Figure 2 for SMT-based Constraint Answer Set Solver EZSMT+

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

Constraint answer set programming integrates answer set programming with constraint processing. System EZSMT+ is a constraint answer set programming tool that utilizes satisfiability modulo theory solvers for search. Its theoretical foundation lies on generalizations of Niemela's characterization of answer sets of a logic program via so called level rankings.

* This is an extended abstract submitted to LPNMR-DC 2019  
View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon