Coordinate-free geometry and decomposition in geometrical constraint solving

Computer-Aided Design ◽

10.1016/j.cad.2014.01.012 ◽

2014 ◽

Vol 50 ◽

pp. 51-60

Author(s):

P. Mathis ◽

P. Schreck

Keyword(s):

Constraint Solving ◽

Geometrical Constraint

Download Full-text

Minimizing the Absolute Value Energy Function: An Application to Geometrical Constraint-Solving

Computer Graphics and Mathematics ◽

10.1007/978-3-642-77586-4_13 ◽

1992 ◽

pp. 203-210

Author(s):

Nami Kin ◽

Yoshiaki Takai ◽

Tosiyasu L. Kunii

Keyword(s):

Energy Function ◽

Constraint Solving ◽

Geometrical Constraint ◽

Absolute Value ◽

Download Full-text

A Connectionist Approach to Geometrical Constraint-Solving

Modeling in Computer Graphics ◽

10.1007/978-4-431-68147-2_24 ◽

1991 ◽

pp. 367-380 ◽

Author(s):

Nami Kin ◽

Yoshiaki Takai ◽

Tosiyasu L. Kunii

Keyword(s):

Constraint Solving ◽

Geometrical Constraint ◽

Connectionist Approach

Download Full-text

Geometrical constraint solving based on the extended Boltzmann machine

Computers in Industry ◽

10.1016/0166-3615(92)90025-i ◽

1992 ◽

Vol 19 (2) ◽

pp. 239-250 ◽

Author(s):

Nami Kin ◽

Yoshiaki Takai ◽

Tosiyasu L. Kunii

Keyword(s):

Constraint Solving ◽

Boltzmann Machine ◽

Geometrical Constraint

Download Full-text

CSS Minification via Constraint Solving

ACM Transactions on Programming Languages and Systems ◽

10.1145/3310337 ◽

2019 ◽

Vol 41 (2) ◽

pp. 1-76

Author(s):

Matthew Hague ◽

Anthony W. Lin ◽

Chih-Duo Hong

Keyword(s):

Constraint Solving

Download Full-text

Automated test generation for OpenCL kernels using fuzzing and constraint solving

Proceedings of the 13th Annual Workshop on General Purpose Processing using Graphics Processing Unit ◽

10.1145/3366428.3380768 ◽

2020 ◽

Author(s):

Chao Peng ◽

Ajitha Rajan

Keyword(s):

Test Generation ◽

Constraint Solving ◽

Automated Test Generation ◽

Download Full-text

Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups

Constraints ◽

10.1023/b:cons.0000036021.31386.cc ◽

2004 ◽

Vol 9 (3) ◽

pp. 167-192

Author(s):

Guillem Godoy ◽

Robert Nieuwenhuis

Keyword(s):

Constraint Solving

Download Full-text

Backpropagation networks for logic constraint solving

Neurocomputing ◽

10.1016/0925-2312(94)90035-3 ◽

1994 ◽

Vol 6 (1) ◽

pp. 67-98 ◽

Author(s):

Angelo Monfroglio

Keyword(s):

Constraint Solving

Download Full-text

A general approach to constraint solving for declarative modeling domain

1999 IEEE International Conference on Information Visualization (Cat. No. PR00210) ◽

10.1109/iv.1999.781591 ◽

2003 ◽

Author(s):

K. Ghassan

Keyword(s):

Constraint Solving ◽

Declarative Modeling

Download Full-text

Constructive Geometric Constraint Solving: A New Application of Genetic Algorithms

Parallel Problem Solving from Nature — PPSN VII - Lecture Notes in Computer Science ◽

10.1007/3-540-45712-7_73 ◽

2002 ◽

pp. 759-768 ◽

Author(s):

R. Joan-Arinyo ◽

M.V. Luzón ◽

A. Soto

Keyword(s):

Genetic Algorithms ◽

Geometric Constraint ◽

Constraint Solving ◽

Geometric Constraint Solving ◽

Constructive Geometric Constraint Solving

Download Full-text

Adaptive and Multilevel Approach for Constraint Solving

Communications in Computer and Information Science - HCI International 2013 - Posters’ Extended Abstracts ◽

10.1007/978-3-642-39473-7_129 ◽

2013 ◽

pp. 650-654 ◽

Author(s):

Claudio León de la Barra ◽

Broderick Crawford ◽

Ricardo Soto ◽

Eric Monfroy

Keyword(s):

Constraint Solving ◽

Multilevel Approach

Download Full-text