Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L

DOI10.1007/978-3-540-70881-0_38zbMath1185.68617OpenAlexW2123900472MaRDI QIDQ3401966

S. L. Kryvyi, Anatoly Chebotarev

Publication date: 2 February 2010

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70881-0_38

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L