New inference rules for efficient Max-SAT solving

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2006, Pages 68-73

  Heras, Federico ^a   Larrosa, Javier ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY; PROBLEM SOLVING;

INFERENCE RULES; MAX-SAT SOLVING;

INFERENCE ENGINES;

EID: 33750727691     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Barth, P. 1995. A davis-putnam based enumeration algorithm for linear pseudo-boolean optimization. In Tech. Rep. MPI-I-95-2-003, Max-Plank Institut Fr Informatik, 346-353.
2. Bessière, C. 1994. Arc-consistency and arc-consistency again. Artificial Intelligence 65(1):179-190.
3. th CP.
4. Cooper, M., and Schiex, T. 2004. Arc consistency for soft constraints. Artificial Intelligence 154(1-2):199-227.
5. Davis, M.; Logemann, G.; and Loveland, G. 1962. A machine program for theorem proving. Communications of the ACM 5:394-397.
6. th CP, 363-376. Kinsale, Ireland: LNCS 2833. Springer Verlag.
7. th IJCAI.
8. D.M. Strickland, E. B., and Sokol, J. 2005. Optimal protein structure alignment using maximum cliques. Operations Research 53:389-402.
9. F. Aloul, A. Ramani, I. M., and Sakallah, K. 2002. Pbs: A backtrack-search pseudo boolean solver and optimizer. In Proc. of Symp. on the Theory and Applications of Satisfiability Testing (SAT), 346-353.
10. H. Xu, R. R., and Sakallah, K. 2002. sub-sat: A formulation for relaxed boolean satisfiability with applications in rounting. In Proc. Int. Symp. on Physical Design.
11. th IJCAI.
12. Larrosa, J., and Schiex, T. 2004. Solving weighted csp by maintaining arc-consistency. Artificial Intelligence 159(1-2): 1-26.
13. Ostergard, P. R. J. 2002. A fast algorithm for the maximum clique problem. Discrete Applied Mathematics 120:197-207.
14. th AAAI, 682-687.
15. th CP, 634-648. Kinsale, Ireland: LNCS 2833. Springer Verlag.
16. th International Symposium on Artificial Intelligence and Mathematics.
17. Vasquez, M., and Hao, J. 2001. A logic-constrained knapsack formulation and a tabu algorithm for the daily photograph scheduling of an earth observation satellite. Journal of Computational Optimization and Applications 20(2).
18. Xing, Z., and Zhang, W. 2005. Maxsolver: An efficient exact algorithm for (weighted) maximum satisfiability. Artificial Intelligence 164(1-2):47-80.