Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

PDF

Selected Works

Yuliya Lierler

2016

Articles 1 - 5 of 5

Full-Text Articles in Physical Sciences and Mathematics

Constraint Answer Set Programming Versus Satisfiability Modulo Theories, Yuliya Lierler, Benjamin Susman Jun 2016

Constraint Answer Set Programming Versus Satisfiability Modulo Theories, Yuliya Lierler, Benjamin Susman

Yuliya Lierler

Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of Satisfiability Modulo Theories. Yet, the exact formal link is obscured as the terminology and concepts used in these two research areas differ. In this paper, we make the link between these two areas precise.

Go to article

Iclp Tutorial: Relating Constraint Answer Set Programming And Satisfiability Modulo Theories, Yuliya Lierler Dec 2015

Iclp Tutorial: Relating Constraint Answer Set Programming And Satisfiability Modulo Theories, Yuliya Lierler

Yuliya Lierler

No abstract provided.

Go to article

Syllabus: Csci2030: Mathematical Foundations Of Computer Science, Yuliya Lierler Dec 2015

Syllabus: Csci2030: Mathematical Foundations Of Computer Science, Yuliya Lierler

Yuliya Lierler

No abstract provided.

Go to article

Systems, Engineering Environments, And Competitions, Yuliya Lierler, Marco Maratea, Francesco Ricca Dec 2015

Systems, Engineering Environments, And Competitions, Yuliya Lierler, Marco Maratea, Francesco Ricca

Yuliya Lierler

The goal of this paper is threefold. First, we trace the history of the development of answer set solvers, by accounting for more than a dozen of them. Second, we discuss development tools and environments that facilitate the use of answer set programming technology in practical applications. Last, we present the evolution of the answer set programming competitions, prime venues for tracking advances in answer set solving technology.

Go to article

Elements Of Discrete Mathematics, Yuliya Lierler Dec 2015

Elements Of Discrete Mathematics, Yuliya Lierler

Yuliya Lierler

No abstract provided.

Go to article