Sign in
Deciding floating-point logic with abstract conflict driven clause learning.
Martin Brain
Vijay Victor D'Silva
Alberto Griggio
Leopold Haller
Daniel Kroening
Published in:
Formal Methods Syst. Des. (2014)
Keyphrases
</>
floating point
clause learning
fixed point
sat solvers
sparse matrices
logic programming
modal logic
instruction set
floating point arithmetic
satisfiability problem
sat problem
automated reasoning
computational properties
propositional satisfiability