Fast bit-vector satisfiability.

Peisen Yao Qingkai Shi Heqing Huang Charles Zhang

Published in: ISSTA (2020)

Keyphrases

bit vector
satisfiability problem
bit vectors
np complete
phase transition
decision procedures
propositional logic
computational complexity
quantified boolean formulas
satisfiability testing
data sets
neural network
bayesian networks