Thomas Vigouroux

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Maximum Satisfiability

Branch And Bound Algorithm

Top Venues

Publications

Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
Function Synthesis for Maximizing Model Counting. VMCAI (1) (2024)
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
Function synthesis for maximizing model counting. CoRR (2023)
Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet
BaxMC: a CEGAR approach to Max#SAT. FMCAD (2022)
Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet
BAXMC: a CEGAR approach to Max\#SAT. CoRR (2022)