Solving the resolution-free SAT problem by submodel propagation in linear time

By Kusper Gábor  

Annals of Mathematics and Artificial Intelligence, Vol. 43, Iss. 1, 2005-01 ,pp. : 129-136

Springer Publishing Company

Access to resources Recommend Favorite

The use of linear approximation scheme for solving the Stefan problem

By Dzurenda P.  

Applications of Mathematics, Vol. 42, Iss. 1, 1997-02 ,pp. : 35-56

Springer Publishing Company

Access to resources Recommend Favorite

Iterative Method for Solving the Linear Feasibility Problem

By Dudek R.  

Journal of Optimization Theory and Applications, Vol. 132, Iss. 3, 2007-03 ,pp. : 401-410

Springer Publishing Company

Access to resources Recommend Favorite

Free will and the resolution of time travel paradoxes

By Cullerne J. P.  

Contemporary Physics, Vol. 42, Iss. 4, 2001-07 ,pp. : 243-245

Taylor & Francis Ltd

Access to resources Recommend Favorite

A Constructive Method for Solving the Complete Controllability Problem for Linear Systems

By Metel'skii A. V.   Minyuk S. A.  

Differential Equations, Vol. 40, Iss. 2, 2004-02 ,pp. : 175-183

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite