Страница публикации

Pysat: a python toolkit for prototyping with sat oracles

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Ignatiev A., Morgado A., Marques-Silva J.

Журнал: Lecture Notes in Computer Science

Язык публикации: english

Том: 10929 LNCS

Номера страниц: 428-437

Количество страниц: 10

Год публикации: 2018

Отчетный год: 2018

DOI: 10.1007/978-3-319-94144-8_26

Аннотация: Boolean satisfiability (SAT) solvers are at the core of efficient approaches for solving a vast multitude of practical problems. Moreover, albeit targeting an NP-complete problem, SAT solvers are increasingly used for tackling problems beyond NP. Despite the success of SAT in practice, modeling with SAT and more importantly implementing SAT-based problem solving solutions is often a difficult and error-prone task. This paper proposes the PySAT toolkit, which enables fast Python-based prototyping using SAT oracles and SAT-related technology. PySAT provides a simple API for working with a few state-of-the-art SAT oracles and also integrates a number of cardinality constraint encodings, all aiming at simplifying the prototyping process. Experimental results presented in the paper show that PySAT-based implementations can be as efficient as those written in a low-level language.

Индексируется WOS: Q4

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет