1. N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT

   • Aolong Zha
   • Miyuki Koshimura
   • Hiroshi Fujita

   OriginalPaper 12 January 2019 Pages: 133 - 161

   

2. Model counting with error-correcting codes

   • Dimitris Achlioptas
   • Panos Theodoropoulos

   OriginalPaper 08 February 2019 Pages: 162 - 182

   

3. The item dependent stockingcost constraint

   • Vinasetan Ratheil Houndji
   • Pierre Schaus
   • Laurence Wolsey

   OriginalPaper 19 February 2019 Pages: 183 - 209