Andreas Plank
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | JELIA | Refinement-Based Enumeration of QBF Solutions. | Andreas Plank, Clemens Hofstadler, Maximilian Heisinger, Martina Seidl |
| 2025 | SAC | Solution Counts of Some Prominent Quantified Boolean Formulas Families. | Andreas Plank, Martina Seidl, Manuel Kauers |
| 2024 | IJCAI | A Top-Down Tree Model Counter for Quantified Boolean Formulas. | Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl |
| 2023 | CP | Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). | Andreas Plank, Sibylle Mhle, Martina Seidl |
| 2023 | SAT | QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas. | Andreas Plank, Martina Seidl |
| 2016 | ETFA | A framework for communication and provisioning in an intelligent secondary substation. | Stephan Cejka, Alexander Hanzlik, Andreas Plank |