Tobias Paxian

12 papers A 2B 2C 1Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
MaxSAT Fuzzing and Delta Debugging.
J. Artif. Intell. Res.
Tobias Paxian, Armin Biere
2024 A conf
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability.
CP
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande
2023 J jnl
Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Nikolaos Ioannis Deligiannis, Tobias Faller, Riccardo Cantoro, Tobias Paxian, Bernd Becker, Matteo Sonza Reorda
2023 J jnl
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
2023 — conf
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging.
POS@SAT
Tobias Paxian, Armin Biere
2021 — conf
Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor.
ATS
Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Tobias Faller, Tobias Paxian, Bernd Becker, Matteo Sonza Reorda
2021 J jnl
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.
CoRR
Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
2021 B conf
On Preprocessing for Weighted MaxSAT.
VMCAI
Tobias Paxian, Pascal Raiola, Bernd Becker
2021 — conf
Towards SAT-Based SBST Generation for RISC-V Cores.
LATS
Tobias Faller, Philipp Scholl, Tobias Paxian, Bernd Becker
2020 B conf
Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks.
ETS
Pascal Raiola, Tobias Paxian, Bernd Becker
2019 C conf
Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support.
FDTC
Maël Gay, Tobias Paxian, Devanshi Upadhyaya, Bernd Becker, Ilia Polian
2018 A conf
Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT.
SAT
Tobias Paxian, Sven Reimer, Bernd Becker