On solving boolean multilevel optimization problems

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 393-398

  Argelich, Josep ^a   Lynce, Inês ^a   Marques Silva, Joao ^b  

^a INESC ID   (Portugal)

^b UNIVERSITY COLLEGE DUBLIN   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL OPTIMIZATION;

COMBINATORIAL OPTIMIZATION PROBLEMS; LARGE PROBLEMS; MAXIMUM SATISFIABILITY; MULTILEVEL OPTIMIZATION; OPTIMIZATION PROBLEMS; PSEUDO-BOOLEAN; SOFTWARE DISTRIBUTIONS; UPGRADEABILITY;

OPTIMIZATION;

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

References (23)

1. F. A. Aloul, A. Ramani, I. L. Markov, and K. A. Sakallah. Generic ILP versus specialized 0-1 ILP: an update. In International Conference on Computer-Aided Design, pages 450-457, 2002.
2. L. Amgoud, C. Cayrol, and D. Le Berre. Comparing arguments using preference ordering for argument-based reasoning. In Int. Conf. on Tools with Artificial Intelligence, pages 400-403, 1996.
3. G. Anandalingam and T. L. Friesz. Hierarchical optimization: An introduction. Annals of Operations Research, 34:1-11, 1992.
4. J. Argelich and I. Lynce. CNF instances from the software package installation problem. In RCRA Workshop, 2008.
5. J. Argelich and F. Manyà. An improved exact solver for partial Max-SAT. In Int. Conf. on Nonconvex Programming: Local & Global Approaches, pages 230-231, 2007.
6. C. Boutilier, R. I. Brafman, C. Domshlak, H. H. Hoos, and D. Poole. CP-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. Journal of Artificial Intelligence Research, 21:135-191, 2004.
7. J. Bracken and J. T. McGill. Mathematical programs with optimization problems in the constraints. Operations Research, 21:37-44, 1973.
8. W. Candler and R. Norton. Multi-level programming. Technical Report DRD-20, World Bank, January 1977.
9. B. Colson, P. Marcotte, and G. Savard. An overview of bilevel programming. Annals of Operations Research, 153:235-256, 2007.
10. S. Denegre and T. Ralphs. A branch-and-cut algorithm for integer bilevel linear programs. In INFORMS Comp. Soc. Meeting, January 2009.
11. N. Eén and N. Sörensson. Translating pseudo-Boolean constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation, 2:226, 2006.
12. E. Freuder, R. Heffernan, R. Wallace, and N.Wilson. Lexicographically- ordered constraint satisfaction problems. Constraints, In Press.
13. E. Giunchiglia and M. Maratea. Planning as satisfiability with preferences. In AAAI Conference on Artificial Intelligence, pages 987-992, 2007.
14. F. Heras, J. Larrosa, and A. Oliveras. MiniMaxSAT: An efficient weighted Max-SAT solver. Journal of Artificial Intelligence Research, 31:1-32, 2008.
15. U. Junker. Preference-based search and multi-criteria optimization. Annals of Operations Research, 130(1-4):75-115, 2004.
16. H. Lin, K. Su, and C.-M. Li. Withinproblem learning for efficient lower bound computation in max-sat solving. In AAAI Conference on Artificial Intelligence, pages 351-356, 2008.
17. M. Lukasiewycz, M. Glaß, C. Haubelt, and Jürgen Teich. Solving multi-objective pseudo-boolean problems. In Int. Conf. on Theory and Applications of Satisfiability Testing, pages 56-69, 2007.
18. F. Mancinelli, J. Boender, R. di Cosmo, J. Vouillon, B. Durak, X. Leroy, and R. Treinen. Managing the complexity of large free and open source package-based software distributions. In Int. Conf. Automated Soft. Engineering, pages 199-208, 2006.
19. V. Manquinho and J. Marques-Silva. Satisfiability-based algorithms for boolean optimization. Annals of Mathematics and Artificial Intelligence, 40(3-4):353-372, 2004.
20. P. Marcotte, G. Savard, and F. Semet. A bilevel programming to the travelling salesman problem. Operations Research Letters, 21:240-248, 2004.
21. P. Meseguer, F. Rossi, and T. Schiex. Soft constraints. In Handbook of Constraint Programming, pages 281-328. 2006.
22. F. Rossi, K. B. Venable, and T. Walsh. Preferences in constraint satisfaction and optimization. AI Magazine, 29(4), 2008.
23. C. Tucker, D. Shuffelton, R. Jhala, and S. Lerner. OPIUM: Optimal package install/uninstall manager. In Int. Conf. Soft. Engineering, pages 178-188, 2007.