J. Ryan Stinnett

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 3

Top Topics

Linear Relaxation

Floating Point Arithmetic

Information Redundancy

Integer Program

Top Venues

ESEC/SIGSOFT FSE

Publications