Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability

DOI10.1007/978-3-642-39071-5_18zbMath1390.68594MaRDI QIDQ5326467

Marcelo Finger, Carla P. Gomes, Bart Selman, Ronan Le Bras

Publication date: 5 August 2013

Published in: Theory and Applications of Satisfiability Testing – SAT 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39071-5_18

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)