The complexity of AND—decomposition of Boolean functions

Интерес к методам декомпозиции в логике связан с анализом и применением больших аксиоматических теорий, возникающих в приложениях. Применение логики многогранно и исследование свойств, связанных с декомпозицией, требует разнообразных техник. Эта тема стала актуальной, главным образом, благодаря развитию логических методов представления знаний и автоматизированного вывода, однако полученные результаты оказались интересными как для классической области логики, так и канонических приложений, например, синтеза логических схем и компрессии данных.

show abstract

The complexity of AND—decomposition of Boolean functions

Cited by 2 publications

References 19 publications

On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

Декомпозиция Логических Теорий: Вычислительные Проблемы И Приложения

Contact Info

Product

Resources

About