Bernhard Gstrein

According to our database, Bernhard Gstrein authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Kissat Clause Reduction Version.

Bernhard Gstrein, Florian Pollitt, André Schidler, Mathias Fleury, Armin Biere

Dataset, August, 2025

Learn to Unlearn.

Bernhard Gstrein, Florian Pollitt, André Schidler, Mathias Fleury, Armin Biere

Dataset, April, 2025

Learn to Unlearn.

Bernhard Gstrein, Florian Pollitt, André Schidler, Mathias Fleury, Armin Biere

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025