Switch to: References

Citations of:

Solving weighted CSP by maintaining arc consistency

Javier Larrosa & Thomas Schiex

Artificial Intelligence 159 (1-2):1-26 (2004)

Add citations

You must login to add citations.

A logical approach to efficient Max-SAT solving.Javier Larrosa, Federico Heras & Simon de Givry - 2008 - Artificial Intelligence 172 (2-3):204-233.details Download Export citation Bookmark 3 citations
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models.Radu Marinescu & Rina Dechter - 2009 - Artificial Intelligence 173 (16-17):1457-1491.details Download Export citation Bookmark 2 citations
Semiring induced valuation algebras: Exact and approximate local computation algorithms.J. Kohlas & N. Wilson - 2008 - Artificial Intelligence 172 (11):1360-1399.details Download Export citation Bookmark
The complexity of soft constraint satisfaction.David A. Cohen, Martin C. Cooper, Peter G. Jeavons & Andrei A. Krokhin - 2006 - Artificial Intelligence 170 (11):983-1016.details Download Export citation Bookmark 4 citations
Tractability-preserving transformations of global cost functions.David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex & Yi Wu - 2016 - Artificial Intelligence 238 (C):166-189.details Download Export citation Bookmark
Computational protein design as an optimization problem.David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steve Prestwich, Thomas Schiex & Seydou Traoré - 2014 - Artificial Intelligence 212 (C):59-79.details Download Export citation Bookmark 2 citations

1