RAIRO - Operations Research

Experimental comparison of 2-satisfiability algorithms

Rossella Petreschi and Bruno Simeone

RAIRO-Oper. Res., 25 3 (1991) 241-264

Published online: 06 February 2017

DOI: 10.1051/ro/1991250302411

Rossella Petreschi

Bruno Simeone

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)