Home » Publication » 16484

Dettaglio pubblicazione

2003, DISCRETE APPLIED MATHEMATICS, Pages 523-534 (volume: 127)

A Complete Adaptive Algorithm for Propositional Satisfiability (01a Articolo in rivista)

Bruni Renato, Sassano Antonio

DOI: 10.1016/S0166-218X(02)00385-2
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma