And-inverter graph
Related papers: 2
Top Researchers
Top Cited Papers
HPC-based parallel software for solving applied Boolean satisfiability problems
V.G. Bogdanova, Sergey Gorsky, А.А. Пашинин
Citations: 5 • 2020
Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives
Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
Citations: 3 • 2019