Improving Bit-Blasting for Nonlinear Integer Constraints.

Fuqi Jia Rui Han Pei Huang Minghao Liu Feifei Ma Jian Zhang

Published in: ISSTA (2023)

Keyphrases

integer variables
computer vision
constraint satisfaction problems
constraint satisfaction
neural network
image processing
artificial neural networks
integrity constraints
piecewise linear
constraint networks
resource constraints
mixed integer
non binary
physical constraints