From DQBF to QBF by Dependency Elimination

DSpace Repository

Show simple item record Wimmer, Ralf Karrenbauer, Andreas Becker, Ruben Scholl, Christoph Becker, Bernd 2018-09-20T10:34:13Z 2018-09-20T10:34:13Z 2018-03-13
dc.identifier.isbn 978-3-00-059317-8
dc.identifier.other 511151152
dc.identifier.uri de_DE
dc.description.abstract Dependency quantified Boolean formulas (DQBFs) are a generalization of QBFs, which allows to have existential variables that depend on arbitrary subsets of the universal variables. We present an effective way to solve such DQBFs by eliminating individual dependencies such that an equisatisfiable QBF is obtained, which can be solved by an arbitrary QBF solver. We also present how to use dependency schemes in order to obtain smaller equisatisfiable QBFs, which can typically be solved more efficiently. en
dc.language.iso en de_DE
dc.publisher Universität Tübingen de_DE
dc.publisher Universität Tübingen de_DE
dc.rights ubt-podno de_DE
dc.rights.uri de_DE
dc.rights.uri en
dc.subject.classification Erfüllbarkeitsproblem de_DE
dc.subject.ddc 004 de_DE
dc.subject.other DQBF en
dc.subject.other Dependency Elimination en
dc.subject.other Solver en
dc.title From DQBF to QBF by Dependency Elimination en
dc.type ConferencePaper de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE
utue.opus.portal mbmv2018 de_DE
utue.publikation.reiheohneschema MBMV 2018 de_DE


This item appears in the following Collection(s)

Show simple item record