Anatoly Chebotarev

From MaRDI portal
Person:3401965

Available identifiers

zbMath Open chebotarev.anatolyMaRDI QIDQ3401965

List of research outcomes





PublicationDate of PublicationType
Improved resolution-based method for satisfiability checking formulas of the language \(L\)2010-02-02Paper

Research outcomes over time

This page was built for person: Anatoly Chebotarev