Black-box/white-box simplification and applications to quantifier elimination.
Christopher W. BrownAdam W. StrzebonskiPublished in: ISSAC (2010)
Keyphrases
- white box
- quantifier elimination
- black box
- constraint propagation
- functional programming
- presburger arithmetic
- constraint databases
- cardinality constraints
- first order logic
- black boxes
- source code
- white box testing
- test data
- test cases
- database
- temporal constraints
- programming language
- integration testing
- machine learning
- artificial intelligence