Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
theory of computation
INFORMATION PROCESSING LETTERS
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

Cliques enumeration and tree-like resolution proofs

pubblicato su: INFORMATION PROCESSING LETTERS - 2018

A note about k-DNF resolution

pubblicato su: INFORMATION PROCESSING LETTERS - 2018

On semantic cutting planes with very small coefficients

pubblicato su: INFORMATION PROCESSING LETTERS - 2018

Lauria Massimo, Thapen Neil

CATALOGO IRIS SAPIENZA

Anno

2018 (3) Apply 2018 filter

Tipo pubblicazione

01 Pubblicazione su rivista (3) Apply 01 Pubblicazione su rivista filter

Rivista

(-) Remove INFORMATION PROCESSING LETTERS filter INFORMATION PROCESSING LETTERS

Book

Keywords

(-) Remove theory of computation filter theory of computation
Resolution (2) Apply Resolution filter
clique (1) Apply clique filter
computer science applications1707 (1) Apply computer science applications1707 filter
computer vision and pattern recognition (1) Apply computer vision and pattern recognition filter
cutting planes (1) Apply cutting planes filter
decision tree (1) Apply decision tree filter
iInformation systems (1) Apply iInformation systems filter
k-DNF (1) Apply k-DNF filter

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