Souheib Baarir

Available identifiers

Publication	Date of Publication	Type
Towards better heuristics for solving bounded model checking problems	2023-10-02	Paper
Diversifying a parallel SAT solver with Bayesian moment matching	2023-08-10	Paper
Community and LBD-based clause sharing policy for parallel SAT solving	2021-04-07	Paper
CDCLSym: introducing effective symmetry breaking in SAT solving	2019-09-16	Paper
SAT-Based Minimization of Deterministic $$\omega $$ -Automata	2016-01-12	Paper
Feasibility analysis for robustness quantification by symbolic model checking	2012-09-27	Paper
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag	2011-06-29	Paper

This page was built for person: Souheib Baarir