Autor der Publikation

TaSSAT: Transfer and Share SAT.

, , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 34-42. Springer, (2024)

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

A Deep Dive into Conflict Generating Decisions., , und . CoRR, (2021)Exploring Conflict Generating Decisions: Initial Results (Extended Abstract)., , und . SOCS, Seite 267-268. AAAI Press, (2024)Preliminary Results on Exploration-Driven Satisfiability Solving., , und . AAAI, Seite 8069-8070. AAAI Press, (2018)TaSSAT: Transfer and Share SAT., , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 34-42. Springer, (2024)Flexible Approximators for Approximating Fixpoint Theory., , , , und . Canadian AI, Volume 9673 von Lecture Notes in Computer Science, Seite 224-236. Springer, (2016)SAT with Global Constraints., und . ICTAI, Seite 73-80. IEEE Computer Society, (2012)Guiding CDCL SAT Search via Random Exploration amid Conflict Depression., , und . AAAI, Seite 1428-1435. AAAI Press, (2020)Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies., , , , und . LOPSTR, Volume 8981 von Lecture Notes in Computer Science, Seite 279-296. Springer, (2014)Characterization of Glue Variables in CDCL SAT Solving., , und . CoRR, (2019)Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics., , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 126-143. Springer, (2019)