R&D Projects

Confirmed projects database queries

Call for Funding of Research and Development Projects in all Scientific Domains - 2008

ParSat - Parallel Satisfiability Algorithms and its Applications

PTDC/EIA-EIA/103532/2008

Main Research Area
Computer Science and Engineering - Computer Engineering
Secondary Research Area
Electrical Engineering - Electronics and Computers
Keywords
Propositional Satisfiability (SAT)
Parallel Algorithms
Multicores Programming (SMP/NUMA)
Graphical Processing Units (GPUs/CUDA)
Funding
€ 100,000.00
Institutions
Main Contractor
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC ID/INESC/IST/UTL)
Main Research Unit
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC ID/INESC/IST/UTL)
Team
Principal Investigator
Paulo Ferreira Godinho Flores
Researchers
José Carlos Alves Pereira Monteiro
Luis Miguel Teixeira d´Avila Pinto da Silveira
Luís Jorge Brás Monteiro Guerra e Silva
Maria Inês Camarate de Campos Lynce de Faria
Vasco Miguel Gomes Nunes Manquinho