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

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	129-136
Number of pages	8
Journal	Annals of Mathematics and Artificial Intelligence
Volume	43
Issue number	1-4
DOIs	https://doi.org/10.1007/s10472-005-0423-7
Publication status	Published - Jan 2005

Fields of science

@article{944612edbc5347ffad8f8b4e805cb8ea,

title = "Solving the resolution-free SAT problem by submodel propagation in linear time",

author = "Gabor Kusper",

year = "2005",

month = jan,

doi = "10.1007/s10472-005-0423-7",

language = "English",

volume = "43",

pages = "129--136",

journal = "Annals of Mathematics and Artificial Intelligence",

issn = "1573-7470",

publisher = "Springer International Publishing",

number = "1-4",

}

TY - JOUR

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

AU - Kusper, Gabor

PY - 2005/1

Y1 - 2005/1

UR - https://www.scopus.com/pages/publications/10344259156

U2 - 10.1007/s10472-005-0423-7

DO - 10.1007/s10472-005-0423-7

M3 - Article

SN - 1573-7470

VL - 43

SP - 129

EP - 136

JO - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

IS - 1-4

ER -