( en | de | ru )

 

Disambiguation of "Lierler, Yuliya"

Author of the publication

copydeleteadd this publication to your clipboard
Preface.

, , and . Theory Pract. Log. Program., 21 (3): 293-295 (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yuliya Dolgova

Yuliya Tereshchenko

Yuliya Prakopchyk

Yuliya Mikhed

Yuliya Miloslavina

 

Other publications of authors with the same name

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