The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Maratea: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
    SAT-Based Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:61-66 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Enrico Giunchiglia, Marco Maratea
    Solving Optimization Problems with DLL. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:377-381 [Conf]
  8. 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]
  9. Enrico Giunchiglia, Marco Maratea
    optsat: A Tool for Solving SAT Related Optimization Problems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:485-489 [Conf]
  10. Enrico Giunchiglia, Marco Maratea, Armando Tacchella
    Dependent and Independent Variables in Propositional Satisfiability. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:296-307 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Enrico Giunchiglia, Marco Maratea
    Planning as Satisfiability with Preferences. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:987-992 [Conf]
  20. 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]

  21. Improving Plan Quality in SAT-Based Planning. [Citation Graph (, )][DBLP]


  22. Computing All Optimal Solutions in Satisfiability Problems with Preferences. [Citation Graph (, )][DBLP]


  23. A new Approach for Solving Satisfiability Problems with Qualitative Preferences. [Citation Graph (, )][DBLP]


  24. DLVMC: Enhanced Model Checking in DLV. [Citation Graph (, )][DBLP]


  25. On the relation among answer set solvers. [Citation Graph (, )][DBLP]


Search in 0.044secs, Finished in 0.045secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002