Maximum satisfiability problem
Related papers: 3
Top Researchers
Sanjit A. Seshia
Institution: —
George J. Pappas
Institution: —
Yasser Shoukry
Institution: —
Paulo Tabuada
Institution: —
Alberto Sangiovanni‐Vincentelli
Institution: —
Pierluigi Nuzzo
Institution: —
Marek Perkowski
Institution: —
Ali Al-Bayaty
Institution: —
V.G. Bogdanova
Institution: —
Sergey Gorsky
Institution: —
Top Cited Papers
SMC
Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
Citations: 42 • 2017
BHT-QAOA: The Generalization of Quantum Approximate Optimization Algorithm to Solve Arbitrary Boolean Problems as Hamiltonians
Ali Al-Bayaty, Marek Perkowski
Citations: 6 • 2024
HPC-based parallel software for solving applied Boolean satisfiability problems
V.G. Bogdanova, Sergey Gorsky, А.А. Пашинин
Citations: 5 • 2020