Buscar
Mostrando ítems 1-4 de 4
Towards a framework for adaptive constraint propagation (2020)
(Springer Verlag, 2015)
Set constraint model and automated encoding into SAT: application to the social golfer problem (2020)
(Springer New York LLC, 2015)
Boosting autonomous search for CSPs via skylines (2020)
(Elsevier Inc., 2015)
Top-k based adaptive enumeration in constraint programming (2020)
(Hindawi Publishing Corporation, 2015)