The SCEAS System
Navigation Menu

Search the dblp DataBase


Yuliya Lierler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Gebser, Joohyung Lee, Yuliya Lierler
    Elementary Sets of Logic Programs. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  2. Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
    SAT-Based Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:61-66 [Conf]
  3. Yuliya Lierler
    Disjunctive Answer Set Programming via Satisfiability. [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. Alessandro Armando, Luca Compagna, Yuliya Lierler
    Automatic Compilation of Protocol Insecurity Problems into Logic Programming. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:617-627 [Conf]
  6. Yuliya Lierler
    cmodels - SAT-Based Disjunctive Answer Set Solver. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:447-451 [Conf]
  7. 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]
  8. Martin Gebser, Joohyung Lee, Yuliya Lierler
    Head-Elementary-Set-Free Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:149-161 [Conf]
  9. 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]
  10. Yuliya Lierler
    Cmodels for Tight Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:163-166 [Conf]
  11. 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]

  12. Abstract Answer Set Solvers. [Citation Graph (, )][DBLP]

  13. One More Decidable Class of Finitely Ground Programs. [Citation Graph (, )][DBLP]

  14. Abstract Answer Set Solvers with Learning [Citation Graph (, )][DBLP]

Search in 0.100secs, Finished in 0.101secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002