Emanuele Di Rosa (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan: Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. SAC 2011: 901-906

3 Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: Solving satisfiability problems with preferences. Constraints 15(4): 485-515 (2010)

2 Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: Computing All Optimal Solutions in Satisfiability Problems with Preferences. CP 2008: 603-607

1 Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: A new Approach for Solving Satisfiability Problems with Qualitative Preferences. ECAI 2008: 510-514

Selection of 4 from 4 records - Emanuele Di Rosa has 3 coauthors

Last update 2012-02-18 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

4		Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan: Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. SAC 2011: 901-906
3		Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: Solving satisfiability problems with preferences. Constraints 15(4): 485-515 (2010)
2		Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: Computing All Optimal Solutions in Satisfiability Problems with Preferences. CP 2008: 603-607
1		Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: A new Approach for Solving Satisfiability Problems with Qualitative Preferences. ECAI 2008: 510-514