2 papers
cs.PL2016
Recollection: an Alternative Restoration Technique for Constraint Programming Systems
Yong Lin, Martin Henz
Search is a key service within constraint programming systems, and it demands the restoration of previously accessed states during the exploration of a search tree. Restoration pro…
cs.PL2016
Programmable Restoration Granularity in Constraint Programming
Yong Lin, Martin Henz
In most constraint programming systems, a limited number of search engines is offered while the programming of user-customized search algorithms requires low-level efforts, which c…