default search action
Constraints - An International Journal, Volume 24
Volume 24, Number 1, January 2019
- Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey:
Constraints for symmetry breaking in graph representation. 1-24 - Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo:
Improved WPM encoding for coalition structure generation under MC-nets. 25-55 - Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Compiling CP subproblems to MDDs and d-DNNFs. 56-93 - Kostas Stergiou:
Neighborhood singleton consistencies. 94-131
Volume 24, Number 2, April 2019
- Aolong Zha, Miyuki Koshimura, Hiroshi Fujita:
N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT. 133-161 - Dimitris Achlioptas, Panos Theodoropoulos:
Model counting with error-correcting codes. 162-182 - Vinasétan Ratheil Houndji, Pierre Schaus, Laurence A. Wolsey:
The item dependent stockingcost constraint. 183-209
Volume 24, Numbers 3-4, October 2019
- Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. 211-233 - Michal Karpinski, Marek Piotrów:
Encoding cardinality constraints using multiway merge selection networks. 234-251 - Anthony Palmieri, Arnaud Lallouet, Luc Pons:
Constraint Games for stable and optimal allocation of demands in SDN. 252-287 - Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Ana L. C. Bazzan, Amnon Meisels:
Incentive-based search for equilibria in boolean games. 288-319
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.