Skip to main content

Ricerc@Sapienza

Home
Login

Home
Resolution
INFORMATION PROCESSING LETTERS
Risultati ricerca pubblicazioni

Risultati ricerca 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

CATALOGO IRIS SAPIENZA

Anno

2018 (2) Apply 2018 filter

Tipo pubblicazione

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

Rivista

(-) Remove INFORMATION PROCESSING LETTERS filter INFORMATION PROCESSING LETTERS

Book

Keywords

(-) Remove Resolution filter Resolution
theory of computation (2) Apply theory of computation 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
decision tree (1) Apply decision tree filter
k-DNF (1) Apply k-DNF filter

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