 | 2012 |
|---|
| 32 |       | Alessandro Armando,
Enrico Giunchiglia,
Marco Maratea,
Serena Elisa Ponta:
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints.
J. Comput. Syst. Sci. 78(1): 119-141 (2012) |
| 2011 |
|---|
| 31 | | Marco Maratea,
Luca Pulina:
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions.
AI*IA 2011: 420-425 |
| 30 | | Wolfgang Faber,
Nicola Leone,
Marco Maratea,
Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates.
Fundam. Inform. 107(4): 379-413 (2011) |
| 29 | | Enrico Giunchiglia,
Marco Maratea:
Introducing Preferences in Planning as Satisfiability.
J. Log. Comput. 21(2): 205-229 (2011) |
| 2010 |
|---|
| 28 | | Marco Maratea,
Francesco Ricca,
Pierfrancesco Veltri:
DLVMC: Enhanced Model Checking in DLV.
JELIA 2010: 365-368 |
| 27 | | Emanuele Di Rosa,
Enrico Giunchiglia,
Marco Maratea:
Solving satisfiability problems with preferences.
Constraints 15(4): 485-515 (2010) |
| 2009 |
|---|
| 26 | | Enrico Giunchiglia,
Marco Maratea:
Improving Plan Quality in SAT-Based Planning.
AI*IA 2009: 253-263 |
| 2008 |
|---|
| 25 | | Emanuele Di Rosa,
Enrico Giunchiglia,
Marco Maratea:
Computing All Optimal Solutions in Satisfiability Problems with Preferences.
CP 2008: 603-607 |
| 24 | | Emanuele Di Rosa,
Enrico Giunchiglia,
Marco Maratea:
A new Approach for Solving Satisfiability Problems with Qualitative Preferences.
ECAI 2008: 510-514 |
| 23 | | Enrico Giunchiglia,
Nicola Leone,
Marco Maratea:
On the relation among answer set solvers.
Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008) |
| 22 | | 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 |
|---|
| 21 |  | Enrico Giunchiglia,
Marco Maratea:
Planning as Satisfiability with Preferences.
AAAI 2007: 987-992 |
| 20 | | Enrico Giunchiglia,
Marco Maratea:
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals.
AI*IA 2007: 422-433 |
| 19 | | Wolfgang Faber,
Nicola Leone,
Marco Maratea,
Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs.
LPNMR 2007: 110-122 |
| 2006 |
|---|
| 18 | | Enrico Giunchiglia,
Marco Maratea:
Solving Optimization Problems with DLL.
ECAI 2006: 377-381 |
| 17 | | Enrico Giunchiglia,
Marco Maratea:
optsat: A Tool for Solving SAT Related Optimization Problems.
JELIA 2006: 485-489 |
| 16 | | Marco Maratea:
Efficient decision procedures for the integration of planning and formal verification in advanced systems.
AI Commun. 19(1): 87-89 (2006) |
| 15 | | Enrico Giunchiglia,
Yuliya Lierler,
Marco Maratea:
Answer Set Programming Based on Propositional Satisfiability.
J. Autom. Reasoning 36(4): 345-377 (2006) |
| 2005 |
|---|
| 14 | | Enrico Giunchiglia,
Marco Maratea:
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming.
AI*IA 2005: 122-134 |
| 13 | | Enrico Giunchiglia,
Marco Maratea:
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.
Answer Set Programming 2005 |
| 12 | | Enrico Giunchiglia,
Marco Maratea:
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).
ICLP 2005: 37-51 |
| 11 | | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Massimo Idini,
Marco Maratea:
TSAT++: an Open Platform for Satisfiability Modulo Theories.
Electr. Notes Theor. Comput. Sci. 125(3): 25-36 (2005) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page