R&D Projects
Confirmed projects database queries
Proposals for Research and Development Projects in all Scientific Domains - 2004
SATPot: SATisfiability algorithms, aPplicatiOns and exTensions
POSC/EIA/61852/2004
-
Main Research Area
-
Computer Engineering
-
Secondary Research Area
-
Mathematics
-
Keywords
-
Boolean Satisfiability
-
Pseudo-Boolean Optimization
-
Quantified Boolean Formulas
-
Model Counting
-
Funding
- €
88,000.00
Project institutions not found