-
Interrogating witnesses for geometric constraint solving
International audience -
Constraints Solving as the Coordination of Inference Engines
This dataset has no description
-
An Introduction to Autonomous Search
This dataset has no description
-
Autonomous search
This dataset has no description
-
A Reactive and Hybrid Constraint Solver
International audience -
Cobi: A Community-Informed Conference Scheduling Tool
International audience -
Rule-Based Constraint Programming
Article dans revue scientifique avec comité de lecture. -
Solex: a Domain-Independent Scheme for Constraint Solver Extension
Colloque avec actes et comité de lecture. -
A Strategy Language for Solving CSPs
Colloque avec actes sans comité de lecture. internationale. -
A Strategy Language for Specifying Constraint Solvers and their Collaborations
Colloque avec actes sans comité de lecture. -
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Article dans revue scientifique avec comité de lecture. -
Frontiers of Combining Systems
Congrès (éditeur). internationale. -
Handling Relations over Finite Domains in the Rule-Based System ELAN
to appear in Electronic Notes in Theoretical Computer Science. Colloque avec actes et comité de lecture. internationale. -
Generating Propagation Rules for Finite Domains: a Mixed Approach
Colloque avec actes et comité de lecture. internationale.
