Consistency-preserving propagation for SMT solving of concurrent program verification.

Zhihang Sun Hongyu Fan Fei He

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

global consistency
constraint problems
solving problems
data mining
case study
natural language
consistency checking
neural network
machine learning
artificial intelligence
information systems
artificial neural networks
combinatorial optimization
nonlinear equations