Login / Signup
Deciding Disjunctive Linear Arithmetic with SAT
Ofer Strichman
Published in:
CoRR (2004)
Keyphrases
</>
search algorithm
phase transition
satisfiability problem
database
search strategies
sat solvers
linear systems
max sat
data sets
neural network
multiscale
logic programs
answer sets
sat problem
arithmetic operations
sat solving