Maximum satisfiability problem
相关论文数: 3
顶级研究者
最高引用论文
SMC
Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
引用数: 42 • 2017
BHT-QAOA: The Generalization of Quantum Approximate Optimization Algorithm to Solve Arbitrary Boolean Problems as Hamiltonians
Ali Al-Bayaty, Marek Perkowski
引用数: 6 • 2024
HPC-based parallel software for solving applied Boolean satisfiability problems
V.G. Bogdanova, Sergey Gorsky, А.А. Пашинин
引用数: 5 • 2020