( en | de | ru )

 

Disambiguierung von "Lierler, Yuliya"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.

, und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 346-350. Springer, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yuliya Dolgova

Yuliya Tereshchenko

Yuliya Prakopchyk

Yuliya Miloslavina

Yuliya Mikhed

 

Weitere Publikationen von Autoren mit dem selben Namen

Constraint answer set solver EZCSP and why integration schemas matter., und . Theory Pract. Log. Program., 17 (4): 462-515 (2017)Transition systems for model generators - A unifying approach., und . Theory Pract. Log. Program., 11 (4-5): 629-646 (2011)On relation between constraint answer set programming and satisfiability modulo theories., und . Theory Pract. Log. Program., 17 (4): 559-590 (2017)Splitting Answer Set Programs with Respect to Intensionality Statements., und . AAAI, Seite 6338-6345. AAAI Press, (2023)An Abstract View on Optimizations in SAT and ASP.. JELIA, Volume 12678 von Lecture Notes in Computer Science, Seite 377-392. Springer, (2021)Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs., und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 346-350. Springer, (2004)Disjunctive Answer Set Programming via Satisfiability.. Answer Set Programming, Volume 142 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)cmodels - SAT-Based Disjunctive Answer Set Solver.. LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 447-451. Springer, (2005)Integration Schemas for Constraint Answer Set Programming: a Case Study., und . Theory Pract. Log. Program., (2013)Systems, Engineering Environments, and Competitions., , und . AI Magazine, 37 (3): 45-52 (2016)