RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

A probabilistic analysis of a new satisfiability algorithm

B. Apolloni and S. Di Gregorio

RAIRO. Inform. théor., 16 3 (1982) 201-223

Published online: 01 February 2017

DOI: 10.1051/ita/1982160302011

B. Apolloni

S. Di Gregorio

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)