some kc tools ucd ul
play

Some KC Tools @ UCD / UL C. Menc a, A. Previti, A. Ignatiev, A. - PowerPoint PPT Presentation

Some KC Tools @ UCD / UL C. Menc a, A. Previti, A. Ignatiev, A. Morgado (et al.) Joao Marques-Silva UCD, Ireland / University of Lisbon, Portugal RTiKC Dagstuhl Seminar Schloss Dagstuhl, Germany September 2017 1 / 10 Our compilation


  1. Some KC Tools @ UCD / UL C. Menc´ ıa, A. Previti, A. Ignatiev, A. Morgado (et al.) Joao Marques-Silva UCD, Ireland / University of Lisbon, Portugal RTiKC Dagstuhl Seminar Schloss Dagstuhl, Germany September 2017 1 / 10

  2. Our compilation work • Compilation with empowering clauses [BMS@SOFSEM12] • Enumeration of prime implicates/implicants for non-clausal formulas [PIMMS@IJCAI15] • Horn least upper bounds [PMMS@SAT15] 2 / 10

  3. @UCD – tools developed until 2015 http://logos.ucd.ie/web/doku.php?id=soft 3 / 10

  4. @UCD – tools developed until 2015 (Cont.) 4 / 10

  5. SAT@UCD – tools developed until 2015 (Cont.) 5 / 10

  6. primer: non-clausal prime implicate/implicant compiler http://logos.ucd.ie/wiki/doku.php?id=primer 6 / 10

  7. hflubber: Horn LUB tool http://logos.ucd.ie/web/doku.php?id=hornapp Distribution also includes ip-horn 7 / 10

  8. @UL – tools developed since 2015 http://core.di.fc.ul.pt/wiki/doku.php?id=soft 8 / 10

  9. @UL – sample of legacy tools 9 / 10

  10. Thank You! 10 / 10

Recommend


More recommend