Mining definitions in Kissat with Kittens

por Fleury, Mathias, Biere, Armin
Publicado 2023

Distributed Cube and Conquer with Paracooba

por Heisinger, Maximilian, Fleury, Mathias, Biere, Armin
Publicado 2020

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

por Blanchette, Jasmin Christian, Fleury, Mathias, Lammich, Peter, Weidenbach, Christoph
Publicado 2018

Long Term Stability Evaluation of Prostacyclin Released from Biomedical Device Through Turbiscan Lab Expert

por Celia, Christian, Locatelli, Marcello, Cilurzo, Felisa, Cosco, Donato, Gentile, Emanuela, Scalise, Daniela, Carafa, Maria, Ventura, Cinzia Anna, Fleury, Mathias, Tisserand, Christelle, Barbacane, Renato C., Fresta, Massimo, Marzio, Luisa Di, Paolino, Donatella
Publicado 2015