Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
clique
pigeonhole principle
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.

CATALOGO IRIS SAPIENZA

Anno

2019 (1) Apply 2019 filter

Tipo pubblicazione

04 Pubblicazione in atti di convegno (1) Apply 04 Pubblicazione in atti di convegno filter

Rivista

Book

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

Keywords

(-) Remove clique filter clique
(-) Remove pigeonhole principle filter pigeonhole principle
binary encodings (1) Apply binary encodings filter
K-DNF resolution (1) Apply K-DNF resolution filter

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