External Links

    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
    runs on