Richard Taupe

Available identifiers

zbMath Open taupe.richardMaRDI QIDQ2326737

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5020542	2022-01-06	Paper
Conflict generalisation in ASP: learning correct and effective non-ground constraints	2020-12-13	Paper
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More	2020-12-13	Paper
Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving	2019-10-10	Paper

Research outcomes over time

This page was built for person: Richard Taupe