Journal: Constraints

Volume 24, Issue 3-4

211 -- 233Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi. Not all FPRASs are equal: demystifying FPRASs for DNF-counting
234 -- 251Michal Karpinski, Marek Piotrów. Encoding cardinality constraints using multiway merge selection networks
252 -- 287Anthony Palmieri, Arnaud Lallouet, Luc Pons. Constraint Games for stable and optimal allocation of demands in SDN
288 -- 319Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Ana L. C. Bazzan, Amnon Meisels. Incentive-based search for equilibria in boolean games

Volume 24, Issue 2

133 -- 161Aolong Zha, Miyuki Koshimura, Hiroshi Fujita. N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT
162 -- 182Dimitris Achlioptas, Panos Theodoropoulos. Model counting with error-correcting codes
183 -- 209Vinasétan Ratheil Houndji, Pierre Schaus, Laurence Wolsey. The item dependent stockingcost constraint

Volume 24, Issue 1

1 -- 24Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey. Constraints for symmetry breaking in graph representation
25 -- 55Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo. Improved WPM encoding for coalition structure generation under MC-nets
56 -- 93Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey. Compiling CP subproblems to MDDs and d-DNNFs
94 -- 131Kostas Stergiou 0001. Neighborhood singleton consistencies