Computing All Optimal Solutions in Satisfiability Problems with Preferences

Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea. Computing All Optimal Solutions in Satisfiability Problems with Preferences. In Peter J. Stuckey, editor, Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Volume 5202 of Lecture Notes in Computer Science, pages 603-607, Springer, 2008. [doi]

@inproceedings{RosaGM08,
  title = {Computing All Optimal Solutions in Satisfiability Problems with Preferences},
  author = {Emanuele Di Rosa and Enrico Giunchiglia and Marco Maratea},
  year = {2008},
  doi = {10.1007/978-3-540-85958-1_50},
  url = {http://dx.doi.org/10.1007/978-3-540-85958-1_50},
  researchr = {https://researchr.org/publication/RosaGM08},
  cites = {0},
  citedby = {0},
  pages = {603-607},
  booktitle = {Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
  editor = {Peter J. Stuckey},
  volume = {5202},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85957-4},
}