The HOL-CSP Refinement Toolkit.
Safouan TahaBurkhart WolffLina YePublished in: Arch. Formal Proofs (2020)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- theorem prover
- constraint propagation
- constraint programming
- decomposition methods
- tree decomposition
- higher order logic
- formal methods
- data mining
- tree decompositions
- step wise
- data sets
- query refinement
- arc consistency
- theorem proving
- refinement process
- natural deduction
- higher order
- genetic algorithm
- arc consistency algorithm