Constraint satisfaction techniques for the generation phase in declarative modeling

Authors:
O. Le Roux;V. Gaildrat;R. Caubet
Affiliations:
Department of Computer Science (IRIT), University of Paul Sabatier, 118 route de Narbonne, 31062 Toulouse cedex, France;Department of Computer Science (IRIT), University of Paul Sabatier, 118 route de Narbonne, 31062 Toulouse cedex, France;Department of Computer Science (IRIT), University of Paul Sabatier, 118 route de Narbonne, 31062 Toulouse cedex, France
Venue:
Geometric modeling
Year:
2004

Citing 11
Cited 2

Algorithms for constraint-satisfaction problems: a survey

AI Magazine
A generic arc-consistency algorithm and its specializations

Artificial Intelligence
Using constraint metaknowledge to reduce arc consistency computation

Artificial Intelligence
Working modes with a declarative modeler

Computer Networks and ISDN Systems - Special issue on graphics research and education on the World Wide Web
Genetic Algorithms in Search, Optimization and Machine Learning

Genetic Algorithms in Search, Optimization and Machine Learning
On Forward Checking for Non-binary Constraint Satisfaction

CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Modelling with Constraints: A Bibliographical Survey

IV '98 Proceedings of the International Conference on Information Visualisation
Conflict-directed backjumping revisited

Journal of Artificial Intelligence Research
Domain filtering consistencies

Journal of Artificial Intelligence Research
Refining the basic constraint propagation algorithm

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Systematic versus stochastic constraint satisfaction

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

The role of semantics in games and simulations

Computers in Entertainment (CIE) - SPECIAL ISSUE: Media Arts (Part II)
A visibility and spatial constraint-based approach for geopositioning

GIScience'10 Proceedings of the 6th international conference on Geographic information science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Declarative modeling is an emergent research domain in computer-aided geometric design. To deal with the generation problems in declarative modeling, a recent approach consists in using constraint satisfaction techniques. After an introduction to constraint satisfaction and an overview of related works in declarative modeling, this chapter presents an object-oriented constraint solver. This generic tool is based on constraint propagation and domain reduction and supports heterogeneous parameters. It can be used in many generation systems. As an application, a declarative modeler for virtual 3D-environments planning is briefly presented.