Solving multi-objective Pseudo-Boolean problems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4501 LNCS, Issue , 2007, Pages 56-69

  Lukasiewycz, Martin ^a   Glaß, Michael ^a   Haubelt, Christian ^a   Teich, Jürgen ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; INTEGER PROGRAMMING; LINEAR PROGRAMMING; OPTIMIZATION; SCHEDULING;

LOGIC SYNTHESIS; ROUTING PROBLEMS;

PROBLEM SOLVING;

EID: 38049113235     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72788-0_9     Document Type: Conference Paper

References (21)

1. Barth, P.: A Davis-Putnam based enumeration algorithm for linear pseudo-Boolean optimization. Research Report MPI-I-95-2-003, Max-Planck-Institut für Informatik, Im Stadtwald, D-66123 Saarbrücken, Germany (1995)
2. Cook, S.A.: The complexity of theorem-proving procedures. In: STOC '71: Proceedings of the third annual ACM symposium on Theory of computing, New York, NY, USA, ACM Press (1971) 151-158
3. Karp, R.M.: Reducibility among combinatorial problems. In Miller, R.E., Thatcher, J.W., eds.: Complexity of Computer Computations. Plenum Press (1972) 85-103
4. Marques-Silva, J.P., Sakallah, K.A.: Boolean satisfiability in electronic design automation. In: DAC '00: Proceedings of the 37th conference on Design automation, New York, NY, USA, ACM Press (2000) 675-680
5. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Commun. ACM 5(7) (1962) 394-397
6. Marques-Silva, J.P., Sakallah, K.A.: Grasp - a new search algorithm for satisfiability. In: ICCAD '96: Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design, Washington, DC, USA, IEEE Computer Society (1996) 220-227
7. Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient sat solver. In: DAC '01: Proceedings of the 38th conference on Design automation, New York, NY, USA, ACM Press (2001) 530-535
8. Zhang, L., Madigan, C.F., Moskewicz, M.H., Malik, S.: Efficient conflict driven learning in a boolean satisfiability solver. In: ICCAD '01: Proc. of the 2001 IEEE/ACM international conference on Computer-aided design, Piscataway, NJ, USA, IEEE Press (2001) 279-285
9. Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: Generic ilp versus specialized 0-1 ilp: an update. In: ICCAD '02: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design, New York, NY, USA, ACM Press (2002) 450-457
10. Teich, J., Blickle, T., Thiele, L.: An evolutionary approach to system-level synthesis. In: CODES '97: Proceedings of the 5th International Workshop on Hardware/Software Co-Design, Washington, DC, USA, IEEE Computer Society (1997) 167
11. Sheini, H.M., Sakallah, K.A.: Pueblo: A modern pseudo-boolean sat solver. In: DATE '05: Proc. of the conf. on Design, Automation and Test in Europe, Washington, DC, USA, IEEE Computer Society (2005) 684-685
12. Chai, D., Kuehlmann, A.: A fast pseudo-boolean constraint solver. In: DAC '03: Proc. of the 40th conference on Design automation, New York, NY, USA, ACM Press (2003) 830-835
13. Eén, N., Sörensson, N.: Translating Pseudo-Boolean Constraints into SAT. Journal on Satisfiability, Boolean Moelding and Computation 2 (2006) 1-25
14. Eén, N., Sörensson, N.: An extensible sat-solver. In: Conference on Theory and Application of Satisfiability Testing SAT. (2003) 502-518
15. Tseitin, G.: On the Complexity of Derivations in Propositional Calculus. Studies in Contr. Math, and Math. Logic (1968)
16. Zitzler, E., Thiele, L., Laumanns, M., Fonseca, C.M., da Fonseca, V.G.: Performance assessment of multiobjective optimizers: an analysis and review. IEEE Trans. Evolutionary Computation 7(2) (2003) 117-132
17. Manquinho, V.M., Marques-Silva, J.: Effective lower bounding techniques for pseudo-boolean optimization. In: DATE '05: Proceedings of the conference on Design, Automation and Test in Europe, Washington, DC, USA, IEEE Computer Society (2005) 660-665
18. Berre, D.L., Simon, L.: Sat competition 2005. Website (2005) Available online at http://www.satcompetition.org/2005/.
19. Manquinho, V., Roussel, O.: Pseudo boolean evaluation 2006. Website (2006) Available online at http://www.cril.univ-artois.fr/PB06/.
20. Haubelt, C., Teich, J., Feldmann, R., Monien, B.: SAT-Based Techniques in System Design. In Wehn, N., Verkest, D., eds.: Proceedings of Design, Automation and Test in Europe, Munich, Germany, IEEE Computer Society (2003) 1168-1169
21. Deb, K., ed. In: Optimization for Engineering Design. Prentice-Hall of India Pvt.Ltd (1995)