Buscar
Mostrando ítems 1-10 de 3385
Curriculum-based Course Timetabling with SAT and MaxSAT
(PATAT Conferences, 2015)
Curriculum-based Course Timetabling with SAT and MaxSAT
(PATAT Conferences, 2015)
Proposição de testes para FlatSat da Missão FloripaSat utilizando dispositivo programável
(Joinville, SC., 2022)
SAT intervención
(2014-05)
SAT Zapopan
(2014-05)
SAT recuperación de la experiencia
(2014-05)
SAT Zapopan
(2014)
ParaQuantumSAT: um algoritmo SAT solver distribuído
(Florianópolis, SC., 2016)