Stochastic Local Search for Solving Floating-Point Constraints.
Shaobo HeMarek S. BaranowskiZvonimir RakamaricPublished in: NSV@CAV (2019)
Keyphrases
- stochastic local search
- floating point
- constrained problems
- interval arithmetic
- solving hard
- satisfiability problem
- combinatorial optimisation
- phase transition
- sparse matrices
- randomly generated
- constraint satisfaction
- fixed point
- random sat instances
- sat instances
- max sat
- instruction set
- global constraints
- constraint programming
- floating point arithmetic
- search algorithm
- combinatorial problems
- upper bound
- propositional satisfiability
- orders of magnitude
- np complete
- bayesian networks
- computationally hard problems