bibtex

@inproceedings{VEM+2,
    title = {BAXMC: a CEGAR approach to Max\# SAT },
    author = {Vigouroux, Thomas and Ene, Cristian and Monniaux, David and Mounier, Laurent and Potet, Marie-Laure},
    year = {2022},
    booktitle = {Conference on Formal Methods in Computer-aided Design -- FMCAD 2022},
    pages = {170},
    team = {PACSS},
}


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3871706