On Conflict-driven variable ordering heuristics. (2008)

by T Balafoutis, K Stergiou
Venue:In Proceedings of Thirteenth Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP-08.