Autor der Publikation

Designing New Phase Selection Heuristics.

, und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 72-88. Springer, (2020)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

CSB: A Counting and Sampling Tool for Bit-vectors., und . SMT@CAV, Volume 3725 von CEUR Workshop Proceedings, Seite 36-43. CEUR-WS.org, (2024)Explaining SAT Solving Using Causal Reasoning., , , , und . SAT, Volume 271 von LIPIcs, Seite 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Designing New Phase Selection Heuristics., und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 72-88. Springer, (2020)An Approximate Skolem Function Counter., , und . AAAI, Seite 8108-8116. AAAI Press, (2024)Model Counting in the Wild., und . CoRR, (2024)Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171)., , , , und . Dagstuhl Reports, 14 (4): 85-107 (2024)A Deadline-Partition Oriented Heterogeneous Multi-Core Scheduler for Periodic Tasks., , , und . PDCAT, Seite 204-210. IEEE Computer Society, (2017)