Login / Signup
Roman Voronov
ORCID
Publication Activity (10 Years)
Years Active: 2012-2021
Publications (10 Years): 5
Top Topics
Satisfiability Testing
Wireless Sensor
Geometric Shapes
Propositional Logic
Top Venues
IDAACS
IDAACS-SWS
CoRR
J. Ambient Intell. Smart Environ.
</>
Publications
</>