Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing

Slivovsky, Friedrich

by Friedrich Slivovsky

Reference:

Interpolation-Based Semantic Gate Extraction and Its Applications to QBF PreprocessingFriedrich SlivovskyComputer Aided Verification - 32nd International Conference, CAV 2020 (Shuvendu K. Lahiri, Chao Wang, eds.), volume 12224 of Lecture Notes in Computer Science, pages 508–528, 2020, Springer Verlag.

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer Verlag"}
@inproceedings{Slivovsky20,
  author    = {Friedrich Slivovsky},
  editor    = {Shuvendu K. Lahiri and
               Chao Wang},
  title     = {Interpolation-Based Semantic Gate Extraction and Its Applications
               to {QBF} Preprocessing},
  booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
               2020},
  series    = LNCS,
  volume    = {12224},
  pages     = {508--528},
  publisher = Springer,
  year      = {2020},
  pdf       = {https://link.springer.com/chapter/10.1007\%2F978-3-030-53288-8_24},
  keywords  = {l2solve}
}