E-LIB Suche - Ergebnisse für: Kremer, Gereon

1

Generating and Exploiting Automated Reasoning Proof Certifi..:

Barbosa, Haniel ; Barrett, Clark ; Cook, Byron...
Communications of the ACM. 66 (2023) 10 - p. 86-95 , 2023

Link: https://doi.org/10.1145/..

2

Satisfiability Modulo Finite Fields:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Ozdemir, Alex ; Kremer, Gereon ; Tinelli, Cesare. - p. 163-186 , 2023

Link: https://doi.org/10.1007/..

3

Flexible Proof Production in an Industrial-Strength SMT Sol..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Barbosa, Haniel ; Reynolds, Andrew ; Kremer, Gereon... - p. 15-35 , 2022

Link: https://doi.org/10.1007/..

4

cvc5: A Versatile and Industrial-Strength SMT Solver:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Barbosa, Haniel ; Barrett, Clark ; Brain, Martin... - p. 415-442 , 2022

Link: https://doi.org/10.1007/..

5

Cooperating Techniques for Solving Nonlinear Real Arithmeti..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Kremer, Gereon ; Reynolds, Andrew ; Barrett, Clark. - p. 95-105 , 2022

Link: https://doi.org/10.1007/..

6

On the Implementation of Cylindrical Algebraic Coverings fo..:

, In: 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Kremer, Gereon ; Abraham, Erika ; England, Matthew. - p. 37-39 , 2021

Link: https://doi.org/10.1109/..

7

Extending the Fundamental Theorem of Linear Programming for..:

, In: Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation,

Nalbach, Jasper ; Ábrahám, Erika ; Kremer, Gereon - p. 313-320 , 2021

Link: https://dl.acm.org/doi/1..

8

Deciding the consistency of non-linear real arithmetic cons..:

Ábrahám, Erika ; Davenport, James H. ; England, Matthew.
Journal of Logical and Algebraic Methods in Programming. 119 (2021) - p. 100633 , 2021

Link: https://doi.org/10.1016/..

9

Implementing arithmetic over algebraic numbers A tutorial f..:

, In: 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Kremer, Gereon ; Brandt, Jens - p. 4-10 , 2021

Link: https://doi.org/10.1109/..

10

ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Languag..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Kremer, Gereon ; Niemetz, Aina ; Preiner, Mathias - p. 231-242 , 2021

Link: https://doi.org/10.1007/..

11

Fully incremental cylindrical algebraic decomposition:

Kremer, Gereon ; Ábrahám, Erika
Journal of Symbolic Computation. 100 (2020) - p. 11-37 , 2020

Link: https://doi.org/10.1016/..

12

Modular strategic SMT solving with SMT-RAT:

Kremer, Gereon ; Ábrahám, Erika
Acta Universitatis Sapientiae, Informatica. 10 (2018) 1 - p. 5-25 , 2018

Link: https://doi.org/10.2478/..

13

Artifact for Paper cvc5: A Versatile and Industrial-Strengt..:

Barbosa, Haniel ; Barrett, Clark ; Brain, Martin...
doi:10.5281/zenodo.5647316. , 2021

Link: https://zenodo.org/recor..

14

Proving UNSAT in SMT: The Case of Quantifier Free Non-Linea..:

Ábrahám, Erika ; Davenport, James H ; England, Matthew.
info:eu-repo/semantics/altIdentifier/arxiv/arXiv:2108.05320. , 2021

Link: https://publications.rwt..

15

Artifact for Paper cvc5: A Versatile and Industrial-Strengt..:

Barbosa, Haniel ; Barrett, Clark ; Brain, Martin...
doi:10.5281/zenodo.5647316. , 2021

Link: https://zenodo.org/recor..