//-->
Clique inference process for solving Max-CSP
Khemmoudj, Mohand Ou Idir, (2009)
Khemmoudj, Idir, (2009)
Cluster of Articles on Connections between Integer Programming and Constraint Logic Programming - An Incremental Branch-and-Bound Method for the Satisfiability Problem
Bennaceur, Hachemi, (1998)