Login / Signup
HOL-CSP Version 2.0.
Safouan Taha
Lina Ye
Burkhart Wolff
Published in:
Arch. Formal Proofs (2019)
Keyphrases
</>
constraint satisfaction problems
constraint satisfaction
information retrieval
constraint programming
formal methods
data mining
information systems
database systems
logic programs
constraint propagation
constraint solving
tree decomposition