Yogev Shalmon

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Delay Insensitive

Top Venues

Publications

Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon
Entailing Generalization Boosts Enumeration. SAT (2024)
Dror Fried, Alexander Nadel, Yogev Shalmon
AllSAT for Combinational Circuits. SAT (2023)