SAT Encoding of Unification in EL

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Beitragende

Details

OriginalspracheEnglisch
Herausgeber (Verlag)Technische Universität Dresden
Seitenumfang20
PublikationsstatusVeröffentlicht - 2010

Publikationsreihe

ReiheLTCS-Report
Band10-04
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Externe IDs

ORCID /0000-0002-4049-221X/work/142659894

Schlagworte

Schlagwörter

  • Unification, SAT Encoding