research
∙
03/27/2023
Graph Sequence Learning for Premise Selection
Premise selection is crucial for large theory reasoning as the sheer siz...
share
research
∙
10/07/2022
Machine Learning Meets The Herbrand Universe
The appearance of strong CDCL-based propositional (SAT) solvers has grea...
research
∙
07/18/2021
AC Simplifications and Closure Redundancies in the Superposition Calculus
Reasoning in the presence of associativity and commutativity (AC) is wel...
research
∙
06/10/2021
Bayesian Optimisation with Formal Guarantees
Application domains of Bayesian optimization include optimizing black-bo...
research
∙
04/27/2021
The ksmt calculus is a δ-complete decision procedure for non-linear constraints
ksmt is a CDCL-style calculus for solving non-linear constraints over re...
research
∙
05/22/2019
A CDCL-style calculus for solving non-linear constraints
In this paper we propose a novel approach for checking satisfiability of...
research
∙
07/26/2018