R&D Projects
Confirmed projects database queries
Call for Funding of Research and Development Projects in all Scientific Domains - 2009
ASPEN: Answer Set Programming with BoolEaN Satisfiability
PTDC/EIA-CCO/110921/2009
-
Main Research Area
-
Computer Science and Engineering - Computer Science
-
Secondary Research Area
-
Mathematics
-
Keywords
-
Answer Set Programming
-
Boolean Satisfiability
-
Preprocessing
-
Post-processing
-
Funding
- €
91,567.00
Project institutions not found