SAT Encoding of Unification in EL

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning
PublisherSpringer, Berlin [u. a.]
Pages97-111
Number of pages15
Publication statusPublished - 2010
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 6397
ISSN0302-9743

External IDs

Scopus 85037536287
ORCID /0000-0002-4049-221X/work/142247913

Keywords

Keywords

  • Unification, SAT Encoding

Library keywords