Login / Signup
Aditya Ravi
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Experimental Evaluation
Path Planning
Simulated Annealing
Selection Algorithm
Top Venues
ISSAC
</>
Publications
</>
Aditya Ravi
,
Ilya Volkovich
New Characterization of the Factor Refinement Algorithm with Applications.
ISSAC
(2023)