A Satisfiability Algorithm for Deterministic Width-2 Branching Programs
Autor: | Tomu MAKITA, Atsuki NAGAO, Tatsuki OKADA, Kazuhisa SETO, Junichi TERUYAMA |
---|---|
Rok vydání: | 2022 |
Předmět: | |
Zdroj: | IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. :1298-1308 |
ISSN: | 1745-1337 0916-8508 |
DOI: | 10.1587/transfun.2021eap1120 |
Databáze: | OpenAIRE |
Externí odkaz: |