Опарин Г. А., Богданова В.Г. "РЕБУС – ИНТЕЛЛЕКТУАЛЬНЫЙ РЕШАТЕЛЬ КОМБИНАТОРНЫХ ЗАДАЧ В БУЛЕВЫХ ОГРАНИЧЕНИЯХ "

РЕБУС – ИНТЕЛЛЕКТУАЛЬНЫЙ РЕШАТЕЛЬ КОМБИНАТОРНЫХ ЗАДАЧ В БУЛЕВЫХ ОГРАНИЧЕНИЯХ *

В статье рассматриваются архитектура, функциональные возможности и технология применения инструмен-
тального комплекса РЕБУС, ориентированного на использование в фундаментальных и прикладных исследовани-
ях при решении задач в разнообразных областях знаний, где естественным образом возникают дискретные моде-
ли в виде систем булевых уравнений (ограничений). Методы и средства автоматизации представления,
накопления, модификации и использования знаний при решении задач удовлетворения булевых ограничений со-
ставляют основу организации решателя РЕБУС.
Ключевые слова: булевы уравнения и ограничения, комбинаторные задачи, булева выполнимость.

Г. А. Опарин, В. Г. Богданова
Rebus – Intellctual Solver for Combinatorial Problems in Boolean Constraints
The architecture, functionalities and applications of REBUS tools are described in our paper. This toolkit can be used
for problem solving in various fields of knowledge where there are discrete models as systems of Boolean equations (constraints).
Methods and facilities for automatization of representation, accumulation, modification and using of knowledge
at the solving of Boolean constraint satisfaction problems underlie in base of REBUS-solver.
Keywords: Boolean equations and constraints, combinatorial problems, Boolean satisfiability.

http://lib.nsu.ru:8080/jspui/handle/nsu/37