( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SPASS-SATT - A CDCL(LA) Solver.

, , , и . CADE, том 11716 из Lecture Notes in Computer Science, стр. 111-122. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Christian Bromberger

Jörg Bromberger

Andreas Bromberger

Walter Bromberger

Norbert Bromberger

 

Другие публикации лиц с тем же именем

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