A SAT-Based Counterexample Guided Method for Unbounded Synthesis.
Alexander LeggNina NarodytskaLeonid RyzhykPublished in: CAV (2) (2016)
Keyphrases
- synthetic data
- detection method
- experimental evaluation
- high precision
- high accuracy
- cost function
- similarity measure
- significant improvement
- dynamic programming
- computational cost
- computationally efficient
- preprocessing
- computational complexity
- classification method
- active learning
- pairwise
- prior knowledge
- support vector machine svm
- optimization algorithm
- orders of magnitude
- search space