Search the dblp DataBase

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]