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