189 citations
- Infineon Technologies (Austria)AT8 papers
- University of KlagenfurtAT4 papers
- TU WienAT3 papers
- Graz University of TechnologyAT2 papers
- Infineon Technologies (Germany)DE2 papers
- Universität InnsbruckAT2 papers
- Aalto UniversityFI1 paper
- AIT Austrian Institute of Technology GmbHAT1 paper
- Alpine Quantum Technologies (Austria)AT1 paper
- Austrian Academy of SciencesAT1 paper
- Carl von Ossietzky Universität OldenburgDE1 paper
- Christian Doppler Laboratory for ThermoelectricityAT1 paper
Showing 2019 · cs.AIShow all
2 papers · 2 filters
cs.AI2019★ 2 cited
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
Richard Taupe, Konstantin Schekotihin, Peter Schüller +2
Domain-specific heuristics are an important technique for solving combinatorial problems efficiently. We propose a novel semantics for declarative specifications of domain-specific…
cs.AI2019★ 3 cited
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
The traditional ground-and-solve approach to Answer Set Programming (ASP) suffers from the grounding bottleneck, which makes large-scale problem instances unsolvable. Lazy groundin…