Login / Signup
Extraction of a computer-certified SMT solver for nonlinear theories.
Grigory Devadze
Lukas Munser
Stefan Streif
Published in:
ECC (2023)
Keyphrases
</>
modulo theories
satisfiability modulo theories
information extraction
computer systems
theoretical framework
answer set programming
knowledge extraction
database
genetic algorithm
orders of magnitude
computer programs
nonlinear equations