Login / Signup
S. I. Uvarov
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Knowledge Compilation
Max Sat
Cnf Formula
Top Venues
Autom. Remote. Control.
</>
Publications
</>
S. I. Uvarov
An Improved Generator for 3-CNF Formulas.
Autom. Remote. Control.
81 (1) (2020)