( en | de | ru )

 

Disambiguierung von "Bromberger, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SPASS-SATT - A CDCL(LA) Solver.

, , , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 111-122. Springer, (2019)

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.

Jörg Bromberger

Christian Bromberger

Andreas Bromberger

Walter Bromberger

Norbert Bromberger

 

Weitere Publikationen von Autoren mit dem selben Namen

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic., , , , , , , , und . TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 480-501. Springer, (2022)SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning., , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 134-152. Springer, (2023)An Isabelle/HOL Formalization of the SCL(FOL) Calculus., , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 116-133. Springer, (2023)An Efficient Subsumption Test Pipeline for BS(LRA) Clauses., , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 147-168. Springer, (2022)Symbolic Model Construction for Saturated Constrained Horn Clauses., , und . FroCoS, Volume 14279 von Lecture Notes in Computer Science, Seite 137-155. Springer, (2023)Exploring Partial Models with SCL., , und . PAAR@IJCAR, Volume 3201 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems.. IJCAR, Volume 10900 von Lecture Notes in Computer Science, Seite 329-345. Springer, (2018)First-Order Automatic Literal Model Generation., , , und . IJCAR (1), Volume 14739 von Lecture Notes in Computer Science, Seite 133-153. Springer, (2024)SPASS-SATT - A CDCL(LA) Solver., , , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 111-122. Springer, (2019)Automatic Bit- and Memory-Precise Verification of eBPF Code., , und . LPAR, Volume 100 von EPiC Series in Computing, Seite 198-221. EasyChair, (2024)