Searching for authors named "Yuliya Lierler" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Disjunctive Answer Set Programming via Satisfiability
- …Disjunctive Answer Set Programming via Satisfiability Yuliya Lierler Erlangen-Nürnberg Universität…
- Cited by 12 (2 self) – Add To MetaCart
-
cmodels - sat-based disjunctive answer set solver
- …CMODELS – SAT-based Disjunctive Answer Set Solver Introduction Yuliya Lierler Erlangen…
- Cited by 8 (2 self) – Add To MetaCart
-
Automatic compilation of protocol insecurity problems into logic programming
- … ¡ , Luca Compagna ¡ , and Yuliya Lierler ¢ AI-Lab, DIST – Università di Genova, £ armando,compa¥ @dist…
- Cited by 3 (0 self) – Add To MetaCart
-
M.: A SAT-based polynomial space algorithm for answer set programming
- … Maratea Yuliya Lierler DIST - Università di Genova, Genova, Italy Institut für Informatik, {enrico…
- Cited by 2 (0 self) – Add To MetaCart
-
Y.: Head-elementary-set-free logic programs
- …Head-Elementary-Set-Free Logic Programs Martin Gebser 1 , Joohyung Lee 2 , and Yuliya Lierler 3 1…
- Cited by 1 (1 self) – Add To MetaCart
-
M.: Answer set programming based on propositional satisfiability
- …Answer Set Programming based on Propositional Satisfiability Enrico Giunchiglia 1 , Yuliya Lierler…
- Cited by 9 (1 self) – Add To MetaCart
-
Sat-based answer set programming
- …SAT-Based Answer Set Programming ∗ Enrico Giunchiglia 1 , Yuliya Lierler 2 , and Marco Maratea 1 1…
- Cited by 20 (5 self) – Add To MetaCart
-
Computing Answer Sets of a Logic Program
- …£ Computing Answer Sets of a Logic Program via-enumeration of SAT certificates Yuliya Lierler…
- Add To MetaCart
Showing 1 through 8.
