# Constraint algorithm

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2014

Highly Cited

2014

- 2014

An algor i thm is descr ibed which is capable of solving cer ta in word problems: i .e . of deciding whether or not two words… (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- Inf. Comput.
- 2007

We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new… (More)

Is this relevant?

2004

2004

- 2004

It is well known that for systems of ODE’s describing singular dynamical systems, the existence and uniqueness of solutions are… (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- 2003

An algorithm, called RATTLE, for integrating the equations of motion in molecular dynamics calculations for molecular models with… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Concurrency and Computation: Practice and…
- 2002

Sequential multi-constraint graph partitioners have been developed to address the static load balancing requirements of multi… (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Journal of Computational Chemistry
- 2001

A common method for the application of distance constraints in molecular simulations employing Cartesian coordinates is the SHAKE… (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- ACM Conference on Computer and Communications…
- 2001

The reachability problem for cryptographic protocols with non-atomic keys can be solved via a simple constraint satisfaction… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- 2000

Conflict and war are typically viewed as the outcome of misperceptions, incomplete information, or even irrationality. We show… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Journal of Computational Chemistry
- 1997

In this article we present a new LINear Constraint Solver (LINCS) for molecular simulations with bond constraints. The algorithm… (More)

Is this relevant?

Highly Cited

1978

Highly Cited

1978

- 1978

This paper reports on an optimum dynamic programming (DP) based time-normalization algorithm for spoken word recognition. First… (More)

Is this relevant?