Cdclsym: Introducing effective symmetry breaking in sat solving H Metin, S Baarir, M Colange, F Kordon Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 39 | 2018 |
Composing symmetry propagation and effective symmetry breaking for sat solving H Metin, S Baarir, F Kordon NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | 13 | 2019 |
painless-mcomsps and painless-mcomsps-sym L Le Frioux, H Metin, S Baarir, M Colange, J Sopena, F Kordon Proceedings of SAT Competition, 33-34, 2018 | 1 | 2018 |
ProVer: an SMT-based approach for process verification. S Baarir, R Bendraou, H Metin, Y Laurent MoDELS (Workshops), 555-562, 2018 | 1 | 2018 |
Exploitation of dynamic symmetries for solving SAT problems H Metin Sorbonne Université, 2019 | | 2019 |
Exploitation des symétries dynamiques pour la résolution des problèmes SAT H Metin Sorbonne université, 2019 | | 2019 |
GlucoseEsbpSel: accelerate the search while pruning H Metin, V Vallade, S Baarir, J Devriendt SAT COMPETITION 2020, 54, 0 | | |