Tobias Paxian

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 11

Top Topics

Maximum Satisfiability

Special Purpose Hardware

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

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