Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
clique
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

Resolution and the binary encoding of combinatorial principles

pubblicato su: Leibniz International Proceedings in Informatics, LIPIcs - 2019

Dantchev S., Galesi N., Martin B.

Cliques enumeration and tree-like resolution proofs

pubblicato su: INFORMATION PROCESSING LETTERS - 2018

CATALOGO IRIS SAPIENZA

Anno

2019 (1) Apply 2019 filter
2018 (1) Apply 2018 filter

Tipo pubblicazione

01 Pubblicazione su rivista (1) Apply 01 Pubblicazione su rivista filter
04 Pubblicazione in atti di convegno (1) Apply 04 Pubblicazione in atti di convegno filter

Rivista

INFORMATION PROCESSING LETTERS (1) Apply INFORMATION PROCESSING LETTERS filter

Book

Leibniz International Proceedings in Informatics, LIPIcs (1) Apply Leibniz International Proceedings in Informatics, LIPIcs filter

Keywords

(-) Remove clique filter clique
binary encodings (1) Apply binary encodings filter
decision tree (1) Apply decision tree filter
K-DNF resolution (1) Apply K-DNF resolution filter
pigeonhole principle (1) Apply pigeonhole principle filter
Resolution (1) Apply Resolution filter
theory of computation (1) Apply theory of computation filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma