Search the dblp DataBase
Marco Maratea :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Enrico Giunchiglia , Yuliya Lierler , Marco Maratea SAT-Based Answer Set Programming. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:61-66 [Conf ] Enrico Giunchiglia , Marco Maratea Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. [Citation Graph (0, 0)][DBLP ] AI*IA, 2005, pp:122-134 [Conf ] Enrico Giunchiglia , Marco Maratea An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2005, pp:- [Conf ] Yuliya Lierler , Marco Maratea Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2003, pp:- [Conf ] Enrico Giunchiglia , Marco Maratea , Armando Tacchella , Davide Zambonin Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:347-363 [Conf ] Enrico Giunchiglia , Marco Maratea , Armando Tacchella (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:842-846 [Conf ] Enrico Giunchiglia , Marco Maratea Solving Optimization Problems with DLL. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:377-381 [Conf ] Enrico Giunchiglia , Marco Maratea On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). [Citation Graph (0, 0)][DBLP ] ICLP, 2005, pp:37-51 [Conf ] Enrico Giunchiglia , Marco Maratea optsat: A Tool for Solving SAT Related Optimization Problems. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:485-489 [Conf ] Enrico Giunchiglia , Marco Maratea , Armando Tacchella Dependent and Independent Variables in Propositional Satisfiability. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:296-307 [Conf ] Yuliya Lierler , Marco Maratea Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2004, pp:346-350 [Conf ] Wolfgang Faber , Nicola Leone , Marco Maratea , Francesco Ricca Experimenting with Look-Back Heuristics for Hard ASP Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2007, pp:110-122 [Conf ] Enrico Giunchiglia , Yuliya Lierler , Marco Maratea A SAT-based polynomial space algorithm for answer set programming. [Citation Graph (0, 0)][DBLP ] NMR, 2004, pp:189-196 [Conf ] Alessandro Armando , Claudio Castellini , Enrico Giunchiglia , Marco Maratea A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. [Citation Graph (0, 0)][DBLP ] SAT, 2004, pp:- [Conf ] Alessandro Armando , Claudio Castellini , Enrico Giunchiglia , Marco Maratea A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. [Citation Graph (0, 0)][DBLP ] SAT (Selected Papers, 2004, pp:16-29 [Conf ] Marco Maratea Efficient decision procedures for the integration of planning and formal verification in advanced systems. [Citation Graph (0, 0)][DBLP ] AI Commun., 2006, v:19, n:1, pp:87-89 [Journal ] Enrico Giunchiglia , Yuliya Lierler , Marco Maratea Answer Set Programming Based on Propositional Satisfiability. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2006, v:36, n:4, pp:345-377 [Journal ] Alessandro Armando , Claudio Castellini , Enrico Giunchiglia , Marco Maratea The SAT-based Approach to Separation Logic. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2005, v:35, n:1-3, pp:237-263 [Journal ] Enrico Giunchiglia , Marco Maratea Planning as Satisfiability with Preferences. [Citation Graph (0, 0)][DBLP ] AAAI, 2007, pp:987-992 [Conf ] Enrico Giunchiglia , Marco Maratea SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. [Citation Graph (0, 0)][DBLP ] AI*IA, 2007, pp:422-433 [Conf ] Improving Plan Quality in SAT-Based Planning. [Citation Graph (, )][DBLP ] Computing All Optimal Solutions in Satisfiability Problems with Preferences. [Citation Graph (, )][DBLP ] A new Approach for Solving Satisfiability Problems with Qualitative Preferences. [Citation Graph (, )][DBLP ] DLVMC : Enhanced Model Checking in DLV. [Citation Graph (, )][DBLP ] On the relation among answer set solvers. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.325secs