![Cognition / Innovation / Abstraction / Data management / Friedrich Robert Helmert / Admissible heuristic / Heuristics / Problem solving / Mind Cognition / Innovation / Abstraction / Data management / Friedrich Robert Helmert / Admissible heuristic / Heuristics / Problem solving / Mind](https://www.pdfsearch.io/img/b7adfb5fea3b410e3004f1232ad26ebe.jpg)
| Document Date: 2015-01-31 16:37:01 Open Document File Size: 451,35 KBShare Result on Facebook
Country Switzerland / / Facility Additive Cartesian Abstraction Heuristics Jendrik Seipp Malte Helmert University of Basel / / IndustryTerm abstract solution / concrete solution / / Organization Cartesian Abstraction Heuristics Jendrik Seipp Malte Helmert University of Basel / / Person Malte Helmert / / Technology CEGAR algorithm / /
SocialTag |