Searching for authors named Nicolas Peltier – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (long version)
- … (long version) Nicolas Peltier LEIBNIZ-IMAG 46, Avenue F'elix Viallet 38031 Grenoble Cedex FRANCE…
- Cited by 5 (0 self) – Add To MetaCart
-
Combining Resolution and Enumeration for Finite Model Building
- …Combining Resolution and Enumeration for Finite Model Building Nicolas Peltier Centre National de…
- Cited by 1 (1 self) – Add To MetaCart
-
Model Building with Ordered Resolution
- …Model Building with Ordered Resolution Nicolas Peltier Centre National de la Recherche Scientique…
- Cited by 4 (1 self) – Add To MetaCart
-
A New Method for Automated Finite Model Building Exploiting Failures and Symmetries
- …A new method for automated finite model building exploiting failures and symmetries Nicolas Peltier…
- Cited by 5 (2 self) – Add To MetaCart
-
Tree Automata and Automated Model Building
- … Nicolas Peltier LEIBNIZ-IMAG 46, Avenue F'elix Viallet 38031 Grenoble Cedex FRANCE Nicolas.Peltier…
- Cited by 9 (4 self) – Add To MetaCart
-
Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents
- … Solving on Terms with Integer Exponents NICOLAS PELTIER LEIBNIZ-IMAG 46, Avenue F'elix Viallet 38031…
- Cited by 6 (1 self) – Add To MetaCart
-
: A General Framework for Implementing Calculi and Strategies
- … and Nicolas Peltier LIFIA-IMAG 46, Avenue Felix Viallet 38000 Grenoble, France Nicolas.Peltier…
- Add To MetaCart
-
Two Problems in Geometry Solved by Using Automated Model Builders
- … Peltier Laboratory Leibniz-Imag, Grenoble, France Stephane.Fevre@(email omitted);, Nicolas.Peltier@(email omitted); We show…
- Add To MetaCart
-
Model Building and Interactive Theory Discovery
- …Model Building and Interactive Theory Discovery Ricardo Caferra, Nicolas Peltier LIFIA-IMAG 46…
- Cited by 12 (8 self) – Add To MetaCart
-
Extending Semantic Resolution via Automated Model Building: applications
- …-IMAG 46, Avenue F'elix Viallet 38031 Grenoble Cedex FRANCE Ricardo.Caferra@(email omitted); Nicolas Peltier LIFIA…
- Cited by 16 (9 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
