438 search results - page 22 / 88 » Optimal Solvers for PDE-Constrained Optimization |
JAIR
2008
14 years 11 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...
FPL
2003
Springer
15 years 4 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
COMPUTING
2004
14 years 11 months ago
2004
In this paper, we present a robust distributive smoother in a multigrid method for the system of poroelasticity equations. Within the distributive framework, we deal with a decoup...
FM
2009
Springer
15 years 6 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
SODA
2003
ACM
15 years 26 days ago
2003
ACM
State-of-the-art linear programming (LP) solvers give solutions without any warranty. Solutions are not guaranteed to be optimal or even close to optimal. Of course, it is general...