International Journal of Open Information Technologies

Kochemazov, Stepan, Russian Federation

• Vol 7, No 12 (2019) - Theoretical Informatics and Computer Science
  Using support vector machine to evaluate usefulness of conflict clauses in CDCL derivation
  Abstract  PDF (Russian)

ISSN: 2307-8162