On solving quantified bit-vector constraints using invertibility conditions.
Aina NiemetzMathias PreinerAndrew ReynoldsClark W. BarrettCesare TinelliPublished in: Formal Methods Syst. Des. (2021)
Keyphrases
- bit vector
- sufficient conditions
- constrained problems
- linear programming problems
- binary images
- reducing the search space
- bit vectors
- constraint satisfaction
- integer program
- distributed constraint satisfaction
- combinatorial optimization
- data sets
- ordering constraints
- database
- constraint solving
- dense datasets
- finite domain
- mixed integer
- initial conditions
- combinatorial problems
- constrained optimization
- geometric constraints
- metaheuristic
- linear programming
- real time