Sign in

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.

Bernardo CuteriCarmine DodaroFrancesco RiccaPeter Schüller
Published in: Theory Pract. Log. Program. (2017)
Keyphrases