Tobias Paxian
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2018–2024
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CP | Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. | Jeremias Berg, Bart Bogaerts, Jakob Nordstrm, Andy Oertel, Tobias Paxian, Dieter Vandesande |
| 2023 | SAT | Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. | Tobias Paxian, Armin Biere |
| 2021 | VMCAI | On Preprocessing for Weighted MaxSAT. | Tobias Paxian, Pascal Raiola, Bernd Becker |
| 2020 | ETS | Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks. | Pascal Raiola, Tobias Paxian, Bernd Becker |
| 2019 | FDTC | Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support. | Mal Gay, Tobias Paxian, Devanshi Upadhyaya, Bernd Becker, Ilia Polian |
| 2018 | SAT | Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. | Tobias Paxian, Sven Reimer, Bernd Becker |