- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j12 |      | Marco Maratea, Luca Pulina: Solving disjunctive temporal problems with preferences using maximum satisfiability. AI Commun. 25(2): 137-156 (2012) |
| j11 | | Marco Maratea: Planning as satisfiability with IPC simple preferences and action costs. AI Commun. 25(4): 343-360 (2012) |
| j10 | | 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) |
| c25 | | Enrico Giunchiglia, Marco Maratea: Algorithms for Solving Satisfiability Problems with Qualitative Preferences. Correct Reasoning 2012: 327-344 |
| c24 | | Marco Maratea, Luca Pulina, Francesco Ricca: Applying Machine Learning Techniques to ASP Solving. ICLP (Technical Communications) 2012: 37-48 |
| c23 | | Marco Maratea, Luca Pulina, Francesco Ricca: The Multi-Engine ASP Solver me-asp. JELIA 2012: 484-487 |
| 2011 | ||
| j9 | | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca: Look-back Techniques for ASP Programs with Aggregates. Fundam. Inform. 107(4): 379-413 (2011) |
| j8 | | Enrico Giunchiglia, Marco Maratea: Introducing Preferences in Planning as Satisfiability. J. Log. Comput. 21(2): 205-229 (2011) |
| c22 | | Marco Maratea, Luca Pulina: Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions. AI*IA 2011: 420-425 |
| 2010 | ||
| j7 | | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: Solving satisfiability problems with preferences. Constraints 15(4): 485-515 (2010) |
| c21 | | Marco Maratea, Francesco Ricca, Pierfrancesco Veltri: DLVMC: Enhanced Model Checking in DLV. JELIA 2010: 365-368 |
| 2009 | ||
| c20 | | Enrico Giunchiglia, Marco Maratea: Improving Plan Quality in SAT-Based Planning. AI*IA 2009: 253-263 |
| 2008 | ||
| j6 | | Enrico Giunchiglia, Nicola Leone, Marco Maratea: On the relation among answer set solvers. Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008) |
| j5 | | 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) |
| c19 | | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: Computing All Optimal Solutions in Satisfiability Problems with Preferences. CP 2008: 603-607 |
| c18 | | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: A new Approach for Solving Satisfiability Problems with Qualitative Preferences. ECAI 2008: 510-514 |
| 2007 | ||
| c17 | | |
| c16 | | Enrico Giunchiglia, Marco Maratea: SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. AI*IA 2007: 422-433 |
| c15 | | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca: Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122 |
| 2006 | ||
| j4 | | Marco Maratea: Efficient decision procedures for the integration of planning and formal verification in advanced systems. AI Commun. 19(1): 87-89 (2006) |
| j3 | | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea: Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reasoning 36(4): 345-377 (2006) |
| c14 |  | |
| c13 | | Enrico Giunchiglia, Marco Maratea: optsat: A Tool for Solving SAT Related Optimization Problems. JELIA 2006: 485-489 |
| 2005 | ||
| j2 | | 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) |
| j1 | | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: The SAT-based Approach to Separation Logic. J. Autom. Reasoning 35(1-3): 237-263 (2005) |
| c12 | | Enrico Giunchiglia, Marco Maratea: Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. AI*IA 2005: 122-134 |
| c11 | | Enrico Giunchiglia, Marco Maratea: An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Answer Set Programming 2005 |
| c10 | | Enrico Giunchiglia, Marco Maratea: On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). ICLP 2005: 37-51 |
| 2004 | ||
| c9 | | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea: SAT-Based Answer Set Programming. AAAI 2004: 61-66 |
| c8 | | Yuliya Lierler, Marco Maratea: Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. LPNMR 2004: 346-350 |
| c7 | | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea: A SAT-based polynomial space algorithm for answer set programming. NMR 2004: 189-196 |
| c6 | | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT 2004 |
| c5 | | 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 | ||
| c4 | | Yuliya Lierler, Marco Maratea: Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. Answer Set Programming 2003 |
| c3 | | Enrico Giunchiglia, Marco Maratea, Armando Tacchella: (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP 2003: 842-846 |
| 2002 | ||
| c2 | | Enrico Giunchiglia, Marco Maratea, Armando Tacchella: Dependent and Independent Variables in Propositional Satisfiability. JELIA 2002: 296-307 |
| 2001 | ||
| c1 | | 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