318 search results - page 15 / 64 » On the equivalence of linear complementarity problems |
CSL
2010
Springer
13 years 8 months ago
2010
Springer
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
NHM
2010
13 years 2 months ago
2010
Abstract. This contribution is concerned with the formulation of a heterogeneous multiscale finite elements method (HMM) for solving linear advectiondiffusion problems with rapidly...
IJCAI
1989
13 years 8 months ago
1989
A constraint satisfaction problem, or CSP, can be reformulated as an integer linear programming problem. The reformulated problem can be solved via polynomial multiplication. If t...
CEC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Addressing dynamic optimization problems has attracted a growing interest from the evolutionary algorithm community in recent years due to its importance in the applications of...
RTA
2000
Springer
13 years 11 months ago
2000
Springer
Linear Second-Order Unification and Context Unification are closely related problems. However, their equivalence was never formally proved. Context unification is a restriction of ...