Duarte Rocha

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 2

Top Topics

Integer Linear Programming

Combinatorial Problems

Developing Intelligent

Quantified Boolean Formulae

Top Venues

J. Comput. Phys.

Publications