Guillaume Baud-Berthier

According to our database, Guillaume Baud-Berthier authored at least 4 papers between 2017 and 2018.

Collaborative distances:

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

2018

Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT. (Effective Encoding of Critical Systems for SAT-Based Model Checking).

Guillaume Baud-Berthier

PhD thesis, 2018

Zigzagging Strategies for Temporal Induction.

Guillaume Baud-Berthier, Laurent Simon

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2017

On the Community Structure of Bounded Model Checking SAT Problems.

Guillaume Baud-Berthier, Jesús Giráldez-Cru, Laurent Simon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

On Selecting Constraints for Replication in Model Checking.

Guillaume Baud-Berthier, Laurent Simon

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017