FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst

Author: Sharad Malik

Paper Information

Title:Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst
Authors:Sharad Malik
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Satisfiability Solvers, Minimal Independent Sets, Hardware Verification
Pages:1
Talk:Aug 01 16:55 (Session 38)
Paper: