research
∙
07/10/2023
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper)
The BDD package Adiar manipulates Binary Decision Diagrams (BDDs) in ext...
share
research
∙
04/24/2023
Optimal Layout Synthesis for Quantum Circuits as Classical Planning
In Layout Synthesis, the logical qubits of a quantum circuit are mapped ...
research
∙
04/17/2023
Search-Space Pruning with Int-Splits for Faster QBF Solving
In many QBF encodings, sequences of Boolean variables stand for binary r...
research
∙
04/14/2023
Operations on Fixpoint Equation Systems
We study operations on fixpoint equation systems (FES) over arbitrary co...
research
∙
03/29/2023
Concise QBF Encodings for Games on a Grid (extended version)
Encoding 2-player games in QBF correctly and efficiently is challenging ...
research
∙
01/18/2023
Implicit State and Goals in QBF Encodings for Positional Games (extended version)
We address two bottlenecks for concise QBF encodings of maker-breaker po...
research
∙
12/09/2022
Efficient Convex Zone Merging in Parametric Timed Automata
Parametric timed automata are a powerful formalism for reasoning on conc...
research
∙
12/23/2021
A Manifesto for Applicable Formal Methods
Formal methods were frequently shown to be effective and, perhaps becaus...
research
∙
11/15/2021
Proceedings First Workshop on Applicable Formal Methods
This volume contains the proceedings of the 1st International Workshop o...
research
∙
06/18/2021
A Benchmarks Library for Extended Parametric Timed Automata
Parametric timed automata are a powerful formalism for reasoning on conc...
research
∙
06/18/2021
Classical Planning as QBF without Grounding (extended version)
Most classical planners use grounding as a preprocessing step, reducing ...
research
∙
04/25/2021
Efficient Binary Decision Diagram Manipulation in External Memory
We follow up on the idea of Lars Arge to rephrase the Reduce and Apply a...
research
∙
07/08/2020
Certifying Emptiness of Timed Büchi Automata
Model checkers for timed automata are widely used to verify safety-criti...
research
∙
02/08/2019
