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

▶

Feb 21, 2023 271 likes •382 views

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

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

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

@UCD – tools developed until 2015

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

3 / 10

SLIDE 4

@UCD – tools developed until 2015 (Cont.)

4 / 10

SLIDE 5

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

5 / 10

SLIDE 6

primer: non-clausal prime implicate/implicant compiler

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

6 / 10

SLIDE 7

hflubber: Horn LUB tool

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

7 / 10

SLIDE 8

@UL – tools developed since 2015

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

8 / 10

SLIDE 9

@UL – sample of legacy tools

9 / 10

SLIDE 10

Thank You!

10 / 10