João Ferraz

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Integer Linear Programming

Quantified Boolean Formulae

Symmetry Breaking

Top Venues

Publications

David S. Pereira, João Ferraz, Francisco S. N. Lobo, José Pedro Mimoso
Baryogenesis: A Symmetry Breaking in the Primordial Universe Revisited. Symmetry 16 (1) (2024)