Back to Results
First PageMeta Content
Physics / Answer set programming / Stable model semantics / Geometry / Permutation pattern / Symmetry / Logic programming / Theoretical physics


1 Symmetry-breaking Answer Set Solving ∗ Christian Drescher a , Oana Tifrea b and Toby Walsh a a
Add to Reading List

Document Date: 2011-06-15 21:43:28

Open Document

File Size: 245,39 KB

Share Result on Facebook

Company

IOS Press / /

Country

Austria / /

Currency

pence / /

/

Facility

University of New South Wales Locked Bag / Free University of Bozen-Bolzano Computer Science Faculty Piazza Domenicani / Vienna University of Technology / University of New South Wales Kensington / /

IndustryTerm

difficult combinatorial search / invalid solutions / semantic web / symmetric solutions / post-processing / combinatorial search problems / search space / search algorithm / search engine / search problems / /

Organization

Vienna Science and Technology Fund / Austrian Science Fund / Free University of Bozen-Bolzano Computer Science Faculty Piazza Domenicani / University of New South Wales Kensington / NICTA / Vienna University of Technology / Australian Research Council / Department of Broadband / Communications and the Digital Economy / University of New South Wales Locked Bag / /

Person

Christian Drescher / Toby Walsh / Oana Tifrea / /

Position

unsatisfiable head / representative / head / empty head / lex-leader / /

Region

South Wales / /

Technology

bioinformatics / Broadband / artificial intelligence / search algorithm / search engine / /

SocialTag