Embedding SMT-LIB into B for Interactive Proof and Constraint Solving.

Sebastian Krings Michael Leuschel

Published in: IFM (2019)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint solver
constraint satisfaction problems
constraint satisfaction
constraint programming
vector space
statistical machine translation
user interaction
finite domain