@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib --remove html --expand -oc html/mysubmitted.txt -ob html/mysubmitted.bib -c '(author : "lengrand") & (note : "Submitted") & !(annotate : "hide")' abbrev.bib Main.bib crossrefs.bib}}
@misc{Bonacina2023,
author = {Maria Paola Bonacina and Stéphane Graham-Lengrand and Christophe Vauthier},
title = {{QSMA}: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment},
note = {Submitted},
year = {2023},
month = mar,
pdf = {http://www.csl.sri.com/users/sgl/Work/Reports/qsma_algo.pdf}
}
This file was generated by bibtex2html 1.99.