Fleury, Mathias

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Fleury, Mathias
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Biere-2024-Clausal Equivalence Sweeping-vor.pdf.jpgBiere, Armin ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils Clausal Equivalence SweepingInproceedings Konferenzbeitrag Oct-2024
2Coutelier-2024-Lazy Reimplication in Chronological Backtracking-vor.pdf.jpgCoutelier, Robin ; Fleury, Mathias ; Kovacs, Laura Lazy Reimplication in Chronological BacktrackingInproceedings Konferenzbeitrag 19-Aug-2024
334_The Proof Checkers Pacheck and Past`eque for the Practical Algebraic Calculus.pdf.jpgKaufmann, Daniela ; Fleury, Mathias ; Biere, Armin The Proof Checkers Pacheck and Pastèque for the Practical Algebraic CalculusKonferenzbeitrag Inproceedings 2020