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

some kc tools ucd ul
SMART_READER_LITE
LIVE PREVIEW

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


slide-1
SLIDE 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

slide-2
SLIDE 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

slide-3
SLIDE 3

@UCD – tools developed until 2015

http://logos.ucd.ie/web/doku.php?id=soft

3 / 10

slide-4
SLIDE 4

@UCD – tools developed until 2015 (Cont.)

4 / 10

slide-5
SLIDE 5

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

5 / 10

slide-6
SLIDE 6

primer: non-clausal prime implicate/implicant compiler

http://logos.ucd.ie/wiki/doku.php?id=primer

6 / 10

slide-7
SLIDE 7

hflubber: Horn LUB tool

http://logos.ucd.ie/web/doku.php?id=hornapp Distribution also includes ip-horn

7 / 10

slide-8
SLIDE 8

@UL – tools developed since 2015

http://core.di.fc.ul.pt/wiki/doku.php?id=soft

8 / 10

slide-9
SLIDE 9

@UL – sample of legacy tools

9 / 10

slide-10
SLIDE 10

Thank You!

10 / 10