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 3.2.19 + AHUNTSIC [CC License]

info visites 2044931