Clausal Abstraction for DQBF

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Leander Tentrup, Markus N. Rabe

Journal title: Theory and Applications of Satisfiability Testing – SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Journal number: 11628

Journal publisher: Springer International Publishing

Published year: 2019

Published pages: 388-405

DOI identifier: 10.1007/978-3-030-24258-9_27

ISBN: 978-3-030-24257-2