Dorian Florescu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 25

Top Topics

Computer Algebra

Variable Ordering

Conflict Directed

Top Venues

IEEE Trans. Signal Process.

Publications