Keyword:solvers

Publications
A Survey of Advances in Epistemic Logic Program Solvers Anthony Leclerc and Patrick Kahl EasyChair Preprint 220
Propagators and Solvers for the Algebra of Modular Systems Bart Bogaerts, Eugenia Ternovska and David Mitchell In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning