Enfragmo: A System for Modelling and Solving Search Problems with Logic.

Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell

Browse the full LPAR paper archive.