Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF (bibtex)
by Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate Schmidt, Martin Suda
Reference:
Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBFOlaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate Schmidt, Martin SudaJournal of Automated Reasoning, Sep 2018.
Bibtex Entry:
@Article{Beyersdorff2018,
author="Beyersdorff, Olaf
and Blinkhorn, Joshua
and Chew, Leroy
and Schmidt, Renate
and Suda, Martin",
title="Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF",
journal="Journal of Automated Reasoning",
year="2018",
month="Sep",
day="24",
}
Powered by bibtexbrowser