 | 2008 |
|---|
| 24 |       | Emanuele Di Rosa,
Enrico Giunchiglia,
Marco Maratea:
Computing All Optimal Solutions in Satisfiability Problems with Preferences.
CP 2008: 603-607 |
| 23 | | Emanuele Di Rosa,
Enrico Giunchiglia,
Marco Maratea:
A new Approach for Solving Satisfiability Problems with Qualitative Preferences.
ECAI 2008: 510-514 |
| 22 | | Enrico Giunchiglia,
Nicola Leone,
Marco Maratea:
On the relation among answer set solvers.
Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008) |
| 21 | | Marco Maratea,
Francesco Ricca,
Wolfgang Faber,
Nicola Leone:
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.
J. Algorithms 63(1-3): 70-89 (2008) |
| 2007 |
|---|
| 20 |  | Enrico Giunchiglia,
Marco Maratea:
Planning as Satisfiability with Preferences.
AAAI 2007: 987-992 |
| 19 | | Enrico Giunchiglia,
Marco Maratea:
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals.
AI*IA 2007: 422-433 |
| 18 | | Wolfgang Faber,
Nicola Leone,
Marco Maratea,
Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs.
LPNMR 2007: 110-122 |
| 2006 |
|---|
| 17 | | Enrico Giunchiglia,
Marco Maratea:
Solving Optimization Problems with DLL.
ECAI 2006: 377-381 |
| 16 | | Enrico Giunchiglia,
Marco Maratea:
optsat: A Tool for Solving SAT Related Optimization Problems.
JELIA 2006: 485-489 |
| 15 | | Marco Maratea:
Efficient decision procedures for the integration of planning and formal verification in advanced systems.
AI Commun. 19(1): 87-89 (2006) |
| 14 | | Enrico Giunchiglia,
Yuliya Lierler,
Marco Maratea:
Answer Set Programming Based on Propositional Satisfiability.
J. Autom. Reasoning 36(4): 345-377 (2006) |
| 2005 |
|---|
| 13 | | Enrico Giunchiglia,
Marco Maratea:
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming.
AI*IA 2005: 122-134 |
| 12 | | Enrico Giunchiglia,
Marco Maratea:
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.
Answer Set Programming 2005 |
| 11 | | Enrico Giunchiglia,
Marco Maratea:
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).
ICLP 2005: 37-51 |
| 10 | | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Marco Maratea:
The SAT-based Approach to Separation Logic.
J. Autom. Reasoning 35(1-3): 237-263 (2005) |
| 2004 |
|---|
| 9 | | Enrico Giunchiglia,
Yuliya Lierler,
Marco Maratea:
SAT-Based Answer Set Programming.
AAAI 2004: 61-66 |
| 8 | | Yuliya Lierler,
Marco Maratea:
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.
LPNMR 2004: 346-350 |
| 7 | | Enrico Giunchiglia,
Yuliya Lierler,
Marco Maratea:
A SAT-based polynomial space algorithm for answer set programming.
NMR 2004: 189-196 |
| 6 | | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Marco Maratea:
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints.
SAT 2004 |
| 5 | | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Marco Maratea:
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.
SAT (Selected Papers 2004: 16-29 |
| 2003 |
|---|
| 4 | | Yuliya Lierler,
Marco Maratea:
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.
Answer Set Programming 2003 |
| 3 | | Enrico Giunchiglia,
Marco Maratea,
Armando Tacchella:
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.
CP 2003: 842-846 |
| 2002 |
|---|
| 2 | | Enrico Giunchiglia,
Marco Maratea,
Armando Tacchella:
Dependent and Independent Variables in Propositional Satisfiability.
JELIA 2002: 296-307 |
| 2001 |
|---|
| 1 | | Enrico Giunchiglia,
Marco Maratea,
Armando Tacchella,
Davide Zambonin:
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.
IJCAR 2001: 347-363 |
