59 citations · 68 across the 20 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.SC2025
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
Yi Lin, Moshe Y. Vardi
Motivated by functional synthesis in sequential circuit construction and quantified boolean formulas (QBF), boolean synthesis serves as one of the core problems in Formal Methods.…
cs.LO2025
Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
Zhiwei Zhang, Samy Wu Fung, Anastasios Kyrillidis +2
The Boolean satisfiability (SAT) problem lies at the core of many applications in combinatorial optimization, software verification, cryptography, and machine learning. While state…
cs.GT2025
Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
Senthil Rajasekaran, Moshe Y. Vardi
Finite-horizon probabilistic multiagent concurrent game systems, also known as finite multiplayer stochastic games, are a well-studied model in computer science due to their abilit…