scientific article; zbMATH DE number 1094771

MaRDI QIDQ4368562zbMATH OpenFDO

Authors Hachemi Bennaceur, Gérard Plateau

Publication date 4 December 1997

zbMATH Keywords

constraint based reasoningconstraint satisfaction problemfilteringreductionsatisfiability problemsearching

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Boolean programming (90C09) Combinatorial optimization (90C27)

Recommendations

• Constraint satisfaction problems: Algorithms and applications
• scientific article; zbMATH DE number 1234562
• Constraint satisfaction -- algorithms and complexity analysis
• The logic of constraint satisfaction

Cited in

(38)

• An exact algorithm for the constraint satisfaction problem: Application to logical inference
• Constraint satisfaction with an object-oriented knowledge representation language
• Model-based inference in CHARME.
• Constraint programming and graph algorithms.
• Solving mixed and conditional constraint satisfaction problems
• SmartClients: Constraint satisfaction as a paradigm for scaleable intelligent information systems
• Compiling constraint satisfaction problems
• Constraint satisfaction problems: Algorithms and applications
• Domain permutation reduction for constraint satisfaction problems
• A constraint programming primer
• On the properties of combination set operations.
• Interactive modeling for batch simulation of engineering systems: A constraint satisfaction problem
• Optimisation techniques for combing constraint solvers
• scientific article; zbMATH DE number 1822444 (Why is no real title available?)
• CLP-based approach to decision support for SCM systems
• Handbook of constraint programming.
• Basic techniques for creating an efficient CSP solver
• Optimization of arithmetic CSP's
• scientific article; zbMATH DE number 4162299 (Why is no real title available?)
• scientific article; zbMATH DE number 4162300 (Why is no real title available?)
• scientific article; zbMATH DE number 4051404 (Why is no real title available?)
• scientific article; zbMATH DE number 1225858 (Why is no real title available?)
• scientific article; zbMATH DE number 1234562 (Why is no real title available?)
• scientific article; zbMATH DE number 1114005 (Why is no real title available?)
• Using artificial neural networks for constraint satisfaction problem
• Constraint Satisfaction
• Multiple populations guided by the constraint-graph for CSP
• High-level modelling and reformulation of constraint satisfaction problems
• Application of exact and heuristic methods to magic square problem
• scientific article; zbMATH DE number 2159473 (Why is no real title available?)
• The oracular constraints method
• Reformulation of non-binary constraints
• Constraint acquisition
• Logic Programming and Nonmonotonic Reasoning
• Open constraint optimization
• Solution techniques for constraint satisfaction problems: Advanced approaches
• Constraint satisfaction -- algorithms and complexity analysis
• Constraint solving in uncertain and dynamic environments: A survey

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4368562)