Explaining propagators for s-DNNF circuits (2012)

by G Gange, P J Stuckey
Venue:In Proceedings of the 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems