Events
SC
2
2025
, Satisfiability Checking and Symbolic Computation
PoS 2025
, Pragmatics of SAT
FMCAD 2024
, Formal Methods in Computer-Aided Design
Maratona Inter-Universitária de Programação, MIUP 2020
Maratona Inter-Universitária de Programação, MIUP 2019
The 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019
Colleagues, Collaborators, and Friends
Josef Urban
Martin Suda
Jan Jakubův
Pedro Orvalho
Jelle Piepenbrock
Petra Hozzová
João Araújo
Josef Urban
João Marques-Silva
Inês Lynce
Vasco Manquinho
Radu Grigore
Alexey Ignatiev
Ruben Martins
Jan Mikulka, Gallery
William Klieber
Last updated: 2025-04-14 12:01:15