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

ISSN： 1012-2443

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

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-4, 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