Roberto Sebastiani

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 53

Top Topics

Partial Assignment

Solving Nonlinear

Modulo Theories

Top Venues

J. Autom. Reason.

Publications