scispace - formally typeset
Search or ask a question
Topic

Constraint satisfaction problem

About: Constraint satisfaction problem is a research topic. Over the lifetime, 7479 publications have been published within this topic receiving 176244 citations. The topic is also known as: CSP.


Papers
More filters
Journal ArticleDOI
TL;DR: Although the derivation of the algorithm is presented in terms of matrices, no matrix matrix multiplications are needed and only the nonzero matrix elements have to be stored, making the method useful for very large molecules.
Abstract: In this article, we present a new LINear Constraint Solver (LINCS) for molecular simulations with bond constraints. The algorithm is inherently stable, as the constraints themselves are reset instead of derivatives of the constraints, thereby eliminating drift. Although the derivation of the algorithm is presented in terms of matrices, no matrix matrix multiplications are needed and only the nonzero matrix elements have to be stored, making the method useful for very large molecules. At the same accuracy, the LINCS algorithm is three to four times faster than the SHAKE algorithm. Parallelization of the algorithm is straightforward. (C) 1997 John Wiley & Sons, Inc.

12,699 citations

Journal ArticleDOI
Berk Hess1
TL;DR: The parallel linear constraint solver (P-LINCS) is presented, which allows the constraining of all bonds in macromolecules and the energy conservation properties of (P-)LINCS are assessed in view of improvements in the accuracy of uncoupled angle constraints and integration in single precision.
Abstract: By removing the fastest degrees of freedom, constraints allow for an increase of the time step in molecular simulations. In the last decade parallel simulations have become commonplace. However, up till now efficient parallel constraint algorithms have not been used with domain decomposition. In this paper the parallel linear constraint solver (P-LINCS) is presented, which allows the constraining of all bonds in macromolecules. Additionally the energy conservation properties of (P-)LINCS are assessed in view of improvements in the accuracy of uncoupled angle constraints and integration in single precision.

2,852 citations

Journal ArticleDOI
TL;DR: The primary aim is to provide an accessible, unified framework, within which to present the algorithms including a new path consistency algorithm, to discuss their relationships and the may applications, both realized and potential of network consistency algorithms.

2,750 citations

Journal ArticleDOI
TL;DR: It is shown that the STP, which subsumes the major part of Vilain and Kautz's point algebra, can be solved in polynomial time and the applicability of path consistency algorithms as preprocessing of temporal problems is studied, to demonstrate their termination and bound their complexities.

1,989 citations

Book
01 Aug 1993
TL;DR: Introduction to the C SP CSP solving - an overview chapter fundamental concepts of the CSP chapter problem reduction chapter basic search strategies for solving CSPs search orders in searching in C SPs exploitation of problem specific features stochastic search methods.
Abstract: Introduction to the CSP CSP solving - an overview chapter fundamental concepts of the CSP chapter problem reduction chapter basic search strategies for solving CSPs search orders in searching in CSPs exploitation of problem specific features stochastic search methods for CSPs solution synthesis optimization in CSPs.

1,891 citations


Network Information
Related Topics (5)
Time complexity
36K papers, 879.5K citations
88% related
Graph (abstract data type)
69.9K papers, 1.2M citations
87% related
Heuristics
32.1K papers, 956.5K citations
82% related
Computational complexity theory
30.8K papers, 711.2K citations
82% related
Evolutionary algorithm
35.2K papers, 897.2K citations
81% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202342
2022120
2021136
2020223
2019199
2018211