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