| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6853055 | Artificial Intelligence | 2018 | 61 Pages |
Abstract
We implemented both our approaches, and we experimentally evaluated our techniques on a large number of instances. Our results demonstrate the practical applicability of the two techniques, which show complementary behavior.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith,