6456 search results - page 94 / 1292 » Constraint Solving on Terms |
143
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
We present new techniques for explicit constraint satisfaction in the incremental placement process. Our algorithm employs a Lagrangian Relaxation (LR) type approach in the analyt...
167
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
A recursive algorithm for solving Boolean relations is presented. It provides several features: wide exploration of solutions, parametrizable cost function and efficiency. The exp...
163
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We propose a new algorithm to solve sparse linear systems of equations over the integers. This algorithm is based on a p-adic lifting technique combined with the use of block matr...
137
click to vote
AMC
2005
15 years 6 months ago
2005
We solve a Laplacian problem over an L-shaped domain using a singular function boundary integral method as well as the p/hp finite element method. In the former method, the soluti...
158
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
A Genetic Algorithm, embedded in a simulation-based method, is applied to the identification of Asynchronous Finite State Machines. Two different coding schemes and their associat...