Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
Leibniz International Proceedings in Informatics, LIPIcs
2019
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.

Bounded-depth frege complexity of tseitin formulas for all graphs

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

Galesi N., Itsykson D., Riazanov A., Sofronova A.

CATALOGO IRIS SAPIENZA

Anno

(-) Remove 2019 filter 2019

Tipo pubblicazione

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

Rivista

Book

(-) Remove Leibniz International Proceedings in Informatics, LIPIcs filter Leibniz International Proceedings in Informatics, LIPIcs

Keywords

AC0-Frege (1) Apply AC0-Frege filter
binary encodings (1) Apply binary encodings filter
clique (1) Apply clique filter
K-DNF resolution (1) Apply K-DNF resolution filter
pigeonhole principle (1) Apply pigeonhole principle filter
Treewidth (1) Apply Treewidth filter
Tseitin formula (1) Apply Tseitin formula filter

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