Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2011, Pages 901-906

  Di Rosa, Emanuele ^a   Giunchiglia, Enrico ^a   O'Sullivan, Barry ^b  

^a UNIVERSITY OF GENOA   (Italy)

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

1/E-RULE; BOOLEAN SATISFIABILITY PROBLEMS; EXPERIMENTAL EVALUATION; EXPRESSIVE POWER; HIGH QUALITY; HIGH-QUALITY SOLUTIONS; LITERALS; LOWER BOUNDS; OPTIMAL SOLUTIONS; OPTIMAL STOPPING; OPTIMAL STOPPING RULE; OPTIMIZATION PROBLEMS; ORDERS-OF-MAGNITUDE; SATISFIABILITY PROBLEMS; SEARCH-BASED ALGORITHMS; SECRETARY PROBLEM; STRUCTURED PROBLEMS; SUBOPTIMAL SOLUTION;

APPROXIMATION ALGORITHMS; FORMAL LOGIC; OPTIMAL SYSTEMS; OPTIMIZATION;

PROBLEM SOLVING;

EID: 79959292612     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1982185.1982382     Document Type: Conference Paper

References (8)

1. F. T. Bruss, 'A Unified Approach to a Class of Best Choice Problems with an Unknown Number of Options', in The Annals of Probability, Vol. 12, No. 3, 1984, pp. 882-889.
2. M. Mahdian, R. P. McAfee, and D. Pennock, 'The Secretary Problem with a Hazard Rate Condition', in WINE'08, pp. 699-715.
3. E. Di Rosa, E. Giunchiglia, and M. Maratea, 'Solving Satisfiability Problems with Preferences', in Constraints, Vol. 15, No. 4, 2010, pp. 485-515.
4. E. Di Rosa, E. Giunchiglia, and M. Maratea, 'A new approach for solving satisfiability problems with qualitative preferences', in Proc. ECAI'08, pp. 510-514.
5. S. Bistarelli, M. S. Pini, F. Rossi, and K. B. Venable, 'From soft constraints to bipolar preferences: modelling framework and solving issues', in JETAI'06, pp. 1-24.
6. T. Sang, F. Bacchus, P. Beame, H. Kautz, and T. Pitassi, 'Combining component caching and clause learning for effective model counting', in Proc. SAT'04.
7. N. Eén and N. Sörensson, 'An extensible SAT-solver', in Proc. SAT'03, pp. 502-518.
8. David J. Pearce and Paul H. J. Kelly, 'A dynamic topological sort algorithm for directed acyclic graphs', ACM JEA'06, 11, 1.7, 2006.