Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Uwe Egly
Researcher
PaperAutomated Benchmarking of Incremental SAT and QBF SolversAuthorship / preprint / 2015PaperConformant Planning as a Case Study of Incremental QBF SolvingAuthorship / preprint / 2016PaperOn Stronger Calculi for QBFsAuthorship / preprint / 2016PaperComplexity Classifications for logic-based ArgumentationAuthorship / preprint / 2014PaperIncremental QBF SolvingAuthorship / preprint / 2014PaperIncrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIAuthorship / preprint / 2015PaperSatisfiability-Based Methods for Reactive Synthesis from Safety SpecificationsAuthorship / preprint / 2016PaperQ-Resolution with Generalized AxiomsAuthorship / preprint / 2016