Searching for authors named "Christophe Ringeissen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

30 documents found, showing 1 through 10. Next 10 →

Combination of Matching Algorithms
by Christophe Ringeissen — 1994 — Proceedings 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen (France), volume 775 of Lecture Notes in Computer Science
…Combination of matching algorithms ? Christophe Ringeissen CRIN-CNRS & INRIA-Lorraine BP 239…
Cited by 5 (0 self) – Add To MetaCart

Prototyping combination of unification algorithms with the ELAN rule-based programming language
by Christophe Ringeissen — 1997
… Christophe Ringeissen INRIA-Lorraine & CRIN-CNRS 615, rue du Jardin Botanique, BP 101, 54602 Villers…
Cited by 5 (1 self) – Add To MetaCart

Unification in a combination of equational theories with shared constants and its application to Primal Algebras
by Christophe Ringeissen — 1992 — In Proceedings of the 1st International Conference on Logic Programming and Automated Reasoning, St. Petersburg (Russia), volume 624 of Lecture Notes in Artificial Intelligence
… to Primal Algebras Christophe Ringeissen CRIN-CNRS & INRIA-Lorraine BP 239, 54506 Vandoeuvre…
Cited by 16 (3 self) – Add To MetaCart

An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
by Eric Monfroy, Christophe Ringeissen — 1999
…, the Netherlands. e-mail: Eric.Monfroy@(email omitted); Christophe Ringeissen LORIA - INRIA, 615 rue du Jardin Botanique…
Add To MetaCart

Combinations of Satisfiability Procedures: First Results
by Cesare Tinelli, Cesare Tinelli, Christophe Ringeissen, Christophe Ringeissen — 1998 — Department of Computer Science, University
… Tinelli Christophe Ringeissen 1 tinelli@(email omitted); Christophe.Ringeissen@(email omitted); Department of Computer…
Add To MetaCart

Rule-Based Constraint Programming
by Claude Kirchner, Christophe Ringeissen — 1998 — Fundamenta Informaticae
…Rule-Based Constraint Programming Claude Kirchner, Christophe Ringeissen LORIA - INRIA 615 rue du…
Cited by 8 (1 self) – Add To MetaCart

Non-Disjoint Unions of Theories and Combinations of Satisfiability Procedures: First Results
by Cesare Tinelli, Cesare Tinelli, Christophe Ringeissen, Christophe Ringeissen — 1998
… Cesare Tinelli, Christophe Ringeissen N 3402 April 1998 TH EME Non-Disjoint Unions of Theories…
Cited by 4 (2 self) – Add To MetaCart

Constraint Solving by Narrowing in Combined Algebraic Domains
by Hélène Kirchner, Christophe Ringeissen — 1994 — Proc. 11th International Conference on Logic Programming
… Ringeissen CRIN-CNRS & INRIA-Lorraine BP 239, 54506 Vandoeuvre-l`es-Nancy Cedex, France f…
Cited by 5 (4 self) – Add To MetaCart

Domain-Independent Constraint Solver Extension
by Eric Monfroy, Christophe Ringeissen — 1996
…Domain-Independent Constraint Solver Extension Eric Monfroy, Christophe Ringeissen CRIN…
Cited by 1 (1 self) – Add To MetaCart

Generating Propagation Rules for Finite Domains via Unification in Finite Algebras
by Christophe Ringeissen, Eric Monfroy — 2000 — In New Trends in Constraints
… Ringeissen 1 , Eric Monfroy 2 1 LORIA-INRIA 615 rue du Jardin Botanique, BP 101, F-54602 Villers…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB