Nicolas Braud-Santoni

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 5

Top Topics

Subgraph Isomorphism

Quantified Boolean Formulas

Graph Theoretical

Top Venues

IPDPS Workshops

Publications

Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. Formal Methods Syst. Des. 57 (2) (2021)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Expansion-Based QBF Solving Without Recursion. FMCAD (2018)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Expansion-Based QBF Solving Without Recursion. CoRR (2018)
Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. CAV (1) (2016)
Nicolas Braud-Santoni, Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit
The Next 700 Impossibility Results in Time-Varying Graphs. Int. J. Netw. Comput. 6 (1) (2016)
Nicolas Braud-Santoni, Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit
A Generic Framework for Impossibility Results in Time-Varying Graphs. IPDPS Workshops (2015)
Nicolas Braud-Santoni, Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit
The Next 700 Impossibility Results in Time-Varying Graphs. CoRR (2014)
Nicolas Braud-Santoni, Rachid Guerraoui, Florian Huc
Fast byzantine agreement. PODC (2013)
Nicolas Braud-Santoni
PODC 2013 review. SIGACT News 44 (4) (2013)