Certified DQBF Solving by Definition Extraction (bibtex)
by Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Reference:
Certified DQBF Solving by Definition ExtractionFranz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider2021.Note: Not peer-reviewed
Bibtex Entry:
@misc{SAT21FFSReport,
      title={{Certified DQBF Solving by Definition Extraction}}, 
      author={Franz-Xaver Reichl and Friedrich Slivovsky and Stefan Szeider},
      year={2021},
      eprint={2106.02550},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      note = { Not peer-reviewed }
}
Powered by bibtexbrowser