Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gábor Kusper, Csaba Biró, Tamás Balla. Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems. In 14th IEEE International Symposium on Applied Computational Intelligence and Informatics, SACI 2020, Timisoara, Romania, May 21-23, 2020. pages 227-234, IEEE, 2020. [doi]

This author has not been identified. Look up 'Gábor Kusper' in GoogleThis author has not been identified. Look up 'Csaba Biró' in GoogleThis author has not been identified. Look up 'Tamás Balla' in Google

runs on WebDSL