SAT Encoding of Unification in EL

Research output: Preprint/documentation/report › Preprint

Contributors

Details

Original languageEnglish
PublisherTechnische Universität Dresden
Number of pages20
Publication statusPublished - 2010

Publication series

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

External IDs

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

Keywords

Keywords

  • Unification, SAT Encoding