And-inverter graph

相关论文数: 2

顶级研究者

Lydia E. Kavraki

研究机构: —

Swarat Chaudhuri

研究机构: —

Yue Wang

研究机构: —

V.G. Bogdanova

研究机构: —

Sergey Gorsky

研究机构: —

А.А. Пашинин

研究机构: —

最高引用论文

HPC-based parallel software for solving applied Boolean satisfiability problems

V.G. Bogdanova, Sergey Gorsky, А.А. Пашинин

引用数: 5 • 2020

Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives

Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki

引用数: 3 • 2019

相关技术

Computer scienceMachine learningMathematicsMathematical optimizationAlgorithmTheoretical computer scienceSet (abstract data type)Point (geometry)Bounded functionMarkov chain