scientific article; zbMATH DE number 7301717

zbMath1472.68230MaRDI QIDQ5146738

A. S. Ignat'Ev, Aleksandr Anatol'evich Semënov

Publication date: 26 January 2021

Full work available at URL: http://mathnet.ru/eng/pdm164

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

binary decision diagramslogical equationshybrid logical derivation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Analysis of algorithms (68W40) Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Chaff
• PaMiraXT

Cites Work

• Efficient data structures for backtrack search SAT solvers
• Graph-Based Algorithms for Boolean Function Manipulation
• GRASP: a search algorithm for propositional satisfiability
• A machine program for theorem-proving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item