Conference Proceedings

Explaining propagators for s-DNNF circuits

G Gange, PJ Stuckey

LNCS: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Published : 2012

Citation metrics