Publication:4736503
From MaRDI portal
zbMath1053.68521MaRDI QIDQ4736503
Nicolas Beldiceanu, Mats Carlsson
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2237/22370059.htm
68N17: Logic programming
Related Items
Computing leximin-optimal solutions in constraint networks, New filtering algorithms for combinations of among constraints, Reformulation of global constraints based on constraints checkers, An optimal arc consistency algorithm for a particular case of sequence constraint, The complexity of reasoning with global constraints