FDR3 - A Modern Refinement Checker for CSP.
Thomas Gibson-RobinsonPhilip J. ArmstrongAlexandre BoulgakovA. W. RoscoePublished in: TACAS (2014)
Keyphrases
- constraint satisfaction problems
- false discovery rate
- decomposition methods
- constraint programming
- constraint satisfaction
- constraint propagation
- error rate
- constraint graph
- refinement process
- neural network
- artificial intelligence
- np hard
- partial constraint satisfaction
- decomposition method
- arc consistency
- search engine
- real world