Hybrid Parameterized Problem Solving in Practice


Project Acronym Projekt Kurzbezeichnung
HYPAR
 
Project Title (de) Projekttitel (de)
Hybrid Parameterized Problem Solving in Practice
 
Project Title (en) Projekttitel (en)
Hybrid Parameterized Problem Solving in Practice
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
P32830-N
 

Filter:
Subject:  Computational aspects of knowledge representation-General Logic programming
Subject:  answer set programming

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hecher, Markus Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?Konferenzbeitrag Inproceedings 2020