Skip to main content

Ricerc@Sapienza

Home
Login

Home
cutting planes
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Circular (Yet Sound) Proofs

pubblicato su: Theory and Applications of Satisfiability Testing – SAT 2019 - 2019

Atserias A., Lauria M.

On semantic cutting planes with very small coefficients

pubblicato su: INFORMATION PROCESSING LETTERS - 2018

Lauria Massimo, Thapen Neil

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

Theory and Applications of Satisfiability Testing – SAT 2019 (1) Apply Theory and Applications of Satisfiability Testing – SAT 2019 filter

Keywords

(-) Remove cutting planes filter cutting planes
frege (1) Apply frege filter
iInformation systems (1) Apply iInformation systems filter
logic (1) Apply logic 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