Souheib Baarir

Short Bio

I am professor at EPITA Toulouse, part of the Automata and applications research group at LRE.

Research interests

I work on Parallel SAT solving, Symmetries in SAT solving, Model-Checking, and performance evaluation of complex systems.

I co-develop and co-maintain Painless, and Cosy, a C++ Tools doing the above.

Publications

See the folling link https://dblp.org/pid/76/2574.html