Full name Familienname, Vorname

Pollitt, Florian

Results 1-4 of 4 (Search time: 0.001 seconds).

RIS EndNote Bibtex

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