1. What is answer set programming to propositional satisfiability

   • Yuliya Lierler

   Survey Open access 16 December 2016 Pages: 307 - 337

   

2. Domain reduction techniques for global NLP and MINLP optimization

   • Yash Puranik
   • Nikolaos V. Sahinidis

   Survey 14 January 2017 Pages: 338 - 376

   

3. Revisiting restricted path consistency

   • Kostas Stergiou

   OriginalPaper 14 September 2016 Pages: 377 - 402

   

4. Constraint-directed search for all-interval series

   • Md Masbaul Alam Polash
   • M. A. Hakim Newton
   • Abdul Sattar

   OriginalPaper 15 December 2016 Pages: 403 - 431

   

5. Using constraint programming for solving RCPSP/max-cal

   • Stefan Kreter
   • Andreas Schutt
   • Peter J. Stuckey

   OriginalPaper 17 January 2017 Pages: 432 - 462

   

6. A global constraint for over-approximation of real-time streams

   • Anicet Bart
   • Charlotte Truchet
   • Eric Monfroy

   OriginalPaper 31 May 2017 Pages: 463 - 490