Solving geometrical constraint systems using CLP based on linear constraint solver

Artificial Intelligence and Symbolic Mathematical Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-61732-9_63 ◽

1996 ◽

pp. 274-288 ◽

Author(s):

Denis Bouhineau

Keyword(s):

Linear Constraint ◽

Geometrical Constraint ◽

Constraint Solver ◽

Constraint Systems

Download Full-text

Linear constraint systems as high-level nets

CONCUR '96: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-61604-7_72 ◽

1996 ◽

pp. 498-513

Author(s):

Eike Best ◽

Catuscia Palamidessi

Keyword(s):

Linear Constraint ◽

Constraint Systems ◽

Download Full-text

Tracking Method for Reparametrized Geometrical Constraint Systems

2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2011.26 ◽

2011 ◽

Author(s):

Remi Imbach ◽

Pascal Mathis ◽

Pascal Schreck

Keyword(s):

Geometrical Constraint ◽

Tracking Method ◽

Constraint Systems

Download Full-text

LINCS: A linear constraint solver for molecular simulations

Journal of Computational Chemistry ◽

10.1002/(sici)1096-987x(199709)18:12<1463::aid-jcc4>3.0.co;2-h ◽

1997 ◽

Vol 18 (12) ◽

pp. 1463-1472 ◽

Cited By ~ 6936

Author(s):

Berk Hess ◽

Henk Bekker ◽

Herman J. C. Berendsen ◽

Johannes G. E. M. Fraaije

Keyword(s):

Molecular Simulations ◽

Linear Constraint ◽

Constraint Solver

Download Full-text

Variable Elimination for Disequations in Generalized Linear Constraint Systems

The Computer Journal ◽

10.1093/comjnl/36.5.473 ◽

1993 ◽

Vol 36 (5) ◽

pp. 473-484 ◽

Author(s):

J.-L. Imbert

Keyword(s):

Linear Constraint ◽

Constraint Systems ◽

Variable Elimination

Download Full-text

A Simplex-Based Scalable Linear Constraint Solver for User Interface Applications

2011 IEEE 23rd International Conference on Tools with Artificial Intelligence ◽

10.1109/ictai.2011.124 ◽

2011 ◽

Author(s):

Hiroshi Hosobe

Keyword(s):

User Interface ◽

Linear Constraint ◽

Constraint Solver

Download Full-text

Formal resolution of geometrical constraint systems by assembling

Proceedings of the fourth ACM symposium on Solid modeling and applications - SMA '97 ◽

10.1145/267734.267804 ◽

1997 ◽

Author(s):

Jean-François Dufourd ◽

Pascal Mathis ◽

Pascal Schreck

Keyword(s):

Geometrical Constraint ◽

Constraint Systems

Download Full-text

Classical vs quantum satisfiability in linear constraint systems modulo an integer

Journal of Physics A Mathematical and Theoretical ◽

10.1088/1751-8121/aba306 ◽

2020 ◽

Vol 53 (38) ◽

pp. 385304

Author(s):

Hammam Qassim ◽

Joel J Wallman

Keyword(s):

Linear Constraint ◽

Constraint Systems

Download Full-text

Solving Geometrical Constraint Systems: A Case Study in Kinematics

AI Communications ◽

10.3233/aic-1993-63-412 ◽

1993 ◽

Vol 6 (3-4) ◽

pp. 232-234 ◽

Author(s):

Roland Berling ◽

Walter Hower

Keyword(s):

Geometrical Constraint ◽

Constraint Systems

Download Full-text

Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39813-4_22 ◽

2003 ◽

pp. 302-316 ◽

Author(s):

Martin Fränzle ◽

Christian Herde

Keyword(s):

Linear Constraint ◽

Proof Search ◽

Constraint Systems

Download Full-text

Improved posterior probability estimates from prior and conditional linear constraint systems

IEEE Transactions on Systems Man and Cybernetics ◽

10.1109/21.87095 ◽

1991 ◽

Vol 21 (2) ◽

pp. 464-469 ◽

Author(s):

P. Snow

Keyword(s):

Posterior Probability ◽

Linear Constraint ◽

Constraint Systems ◽

Probability Estimates

Download Full-text