SAT Encoding of Unification in EL
Research output: Preprint/Documentation/Report › Preprint
Contributors
Details
Original language | English |
---|---|
Publisher | Technische Universität Dresden |
Number of pages | 20 |
Publication status | Published - 2010 |
Publication series
Series | LTCS-Report |
---|---|
Volume | 10-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