Filippo Focacci;Andrea Lodi;Michela Milano;Daniele Vigo
University of Ferrara, Italy and ILOG, France;D.E.I.S., University of Bologna, Italy;D.E.I.S., University of Bologna, Italy;D.E.I.S., University of Bologna, Italy
Constraint satisfaction in logic programming
Solving large combinatorial problems in logic programming
Journal of Logic Programming - Logic programming applications