( en | de | ru )

 

Disambiguierung von "Baarir, Souheib"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Diversifying a Parallel SAT Solver with Bayesian Moment Matching.

, , , , und . SETTA, Volume 13649 von Lecture Notes in Computer Science, Seite 227-233. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Souheib Abdul Karim

 

Weitere Publikationen von Autoren mit dem selben Namen

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework., , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 135-151. Springer, (2019)Towards better heuristics for solving bounded model checking problems., , und . Constraints An Int. J., 28 (1): 45-66 (März 2023)Verification of a Hierarchical Generic Mutual Exclusion Algorithm., , und . FORTE, Volume 5048 von Lecture Notes in Computer Science, Seite 99-115. Springer, (2008)ProVer: an SMT-based approach for process verification., , , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 555-562. CEUR-WS.org, (2018)CosySEL: Improving SAT Solving Using Local Symmetries., , , und . VMCAI, Volume 13881 von Lecture Notes in Computer Science, Seite 252-266. Springer, (2023)Lumping partially symmetrical stochastic models., , , , und . Perform. Evaluation, 68 (1): 21-44 (2011)First international workshop on verification of business and software processes., und . ICSSP, Seite 143-144. ACM, (2017)A framework to formally verify conformance of a software process to a software method., , , , und . SAC, Seite 1518-1525. ACM, (2015)Formalization of fUML: An Application to Process Verification., , , und . CAiSE, Volume 8484 von Lecture Notes in Computer Science, Seite 347-363. Springer, (2014)Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag., , , und . Petri Nets, Volume 6709 von Lecture Notes in Computer Science, Seite 338-347. Springer, (2011)