Experimental comparison of 2-satisfiability algorithms

DOI10.1051/ro/1991250302411zbMath0746.05062OpenAlexW2519703612MaRDI QIDQ3979516

Rossella Petreschi, Bruno Simeone

Publication date: 26 June 1992

Published in: RAIRO - Operations Research (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/105013

zbMATH Keywords

algorithmstest problems2-SATISFIABILITY

Mathematics Subject Classification ID

Graph algorithms (graph-theoretic aspects) (05C85)

Related Items (1)

On-line 2-satisfiability

This page was built for publication: Experimental comparison of 2-satisfiability algorithms