C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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