Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems.

Gbor Kusper, Csaba Bir, Tams Balla

Browse the full SACI paper archive.