Publication
Online Set Cover with Set Requests
Video
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
In this talk, I will present a way to enjoy the power of SAT and SMT provers in Coq without compromising soundness. This requires these provers to return not only a yes/no answer, but also…
Publication