Name Card

Full name Familienname, Vorname

Fleury, Mathias

Main Affiliation Organisationszuordnung

University of Freiburg

Own Publications Eigene Publikationen

All

Conference Papers

Others

Peer-Reviewed

4 true

Author

Subject

Date issued

5 2000 - 2025

Publication Type

4 Inproceedings
1 Presentation

Results 1-5 of 5 (Search time: 0.002 seconds).

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Biere, Armin ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils	Clausal Congruence Closure	Inproceedings Konferenzbeitrag	19-Aug-2024
	2		Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin	Certifying Incremental SAT Solving	Presentation Vortrag	23-Jul-2024
	3		Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin	Incremental Proofs for Bounded Model Checking	Inproceedings Konferenzbeitrag	19-Jun-2024
	4		Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin	Certifying Incremental SAT Solving	Inproceedings Konferenzbeitrag	26-May-2024
	5		Biere, Armin ; Faller, Tobias ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils ; Pollitt, Florian	CaDiCaL 2.0	Inproceedings Konferenzbeitrag	2024