Вы здесь

Главная

булевый

Связанные издания:

Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas
Theory and Applications of Satisfiability Testing - SAT 2014: Proc./17th International Conference Held as Part of the Vienna Summer of Logoc, VSL 2014, Vienna, Austria, July 2014
Theory and Applications of Satisfiability Testing - SAT 2016: Proc./19th International Conference, Bordeaux, France, July 2016
Verification, Modal Checking, and Abstract Interpretation: Proc./14th International Conference, VMCAI 2013, Rome, Italy, January, 2013
Алгоритмические вопросы конъюнктивной декомпозиции булевых формул
Алгоритм оптимизации потоков работ
Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм
Операторы в полиномиальных представлениях булевых функций
Основы теории булевых функций
О ядре устойчивости векторной квадратичной задачи булева программирования
Построение и анализ эффективных комбинаторных алгоритмов решения систем булевых уравнений
Проведение булевых преобразований с помо ью булевых разрешаю их диаграмм
Реализация замкнутого набора булевых операций над полигональными областями на дискретной сетке
Су ествование и сложность представлений булевых функций формулами
Су ествование и сложность представлений булевых функций формулами
Эффективный алгоритм, реализую ий замкнутый набор булевых операций над множествами многоугольников на плоскости