Journal: Constraints

Volume 22, Issue 3

307 -- 337Yuliya Lierler. What is answer set programming to propositional satisfiability
338 -- 376Yash Puranik, Nikolaos V. Sahinidis. Domain reduction techniques for global NLP and MINLP optimization
377 -- 402Kostas Stergiou. Revisiting restricted path consistency
403 -- 431Md. Masbaul Alam Polash, M. A. Hakim Newton, Abdul Sattar. Constraint-directed search for all-interval series
432 -- 462Stefan Kreter, Andreas Schutt, Peter J. Stuckey. Using constraint programming for solving RCPSP/max-cal
463 -- 490Anicet Bart, Charlotte Truchet, Eric Monfroy. A global constraint for over-approximation of real-time streams