16091 search results - page 265 / 3219 » Solving |
150
click to vote
AMC
2006
15 years 6 months ago
2006
A numerical method based on an integro-differential formulation and approximation by local interpolating functions is proposed for solving a one-dimensional parabolic partial diff...
159
click to vote
IJCGA
2006
15 years 6 months ago
2006
In this paper, we consider the optimal well-constrained completion problem, that is, for an under-constrained geometric constraint problem, add automatically new constraints in suc...
149
click to vote
TPLP
2008
15 years 6 months ago
2008
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...
196
click to vote
MOC
1998
15 years 6 months ago
1998
Abstract. A Cauchy problem for a one–dimensional diffusion–reaction equation is solved on a grid by a random walk method, in which the diffusion part is solved by random walk...
154
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...