Back to Results
First PageMeta Content
Complexity classes / Logic programming / Mathematical optimization / Operations research / Answer set programming / NP-complete problems / Stable model semantics / Tree decomposition / NP-complete / Theoretical computer science / Computational complexity theory / Applied mathematics


TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE
Add to Reading List

Document Date: 2014-05-05 09:39:38

Open Document

File Size: 1,15 MB

Share Result on Facebook

City

Vienna / /

Company

Materializing Complete Solutions / /

Currency

pence / /

/

Facility

Introduction Complex / Vienna University of Technology / /

/

IndustryTerm

software system / suitable efficient algorithms / free software / rapid prototyping tool / free software system / potential solution / search problem / valid solutions / search space / /

Organization

Austrian Science Fund / Gunther Charwat Markus Hecher Bernhard Bliem Frederico Dusberger Stefan Woltran Institut f¨ur Informationssysteme Abteilung Datenbanken / Vienna University of Technology / /

Person

Markus Hecher Bernhard Bliem Frederico / Michael Abseher / Stefan Woltran / Bernhard Bliem Frederico Dusberger Stefan / /

/

Position

General ASP Interface / head / empty head / /

ProgrammingLanguage

C / C++ / /

Technology

artificial intelligence / decomposition-based algorithms / DP algorithms / DP algorithm / /

URL

www.dbai.tuwien.ac.at / http /

SocialTag