Zitate
APA-Zitierstil (7. Ausg.)
Chukharev, K. I. (2020). APPLICATION OF INCREMENTAL SATISFIABILITY PROBLEM SOLVERS FOR NON-DETERMINISTIC POLYNOMIAL-TIME HARD PROBLEMS AS ILLUSTRATED BY MINIMAL BOOLEAN FORMULA SYNTHESIS PROBLEM. ITMO University.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Chicago-Zitierstil (17. Ausg.)
Chukharev, Konstantin I. APPLICATION OF INCREMENTAL SATISFIABILITY PROBLEM SOLVERS FOR NON-DETERMINISTIC POLYNOMIAL-TIME HARD PROBLEMS AS ILLUSTRATED BY MINIMAL BOOLEAN FORMULA SYNTHESIS PROBLEM. ITMO University, 2020.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
MLA-Zitierstil (9. Ausg.)
Chukharev, Konstantin I. APPLICATION OF INCREMENTAL SATISFIABILITY PROBLEM SOLVERS FOR NON-DETERMINISTIC POLYNOMIAL-TIME HARD PROBLEMS AS ILLUSTRATED BY MINIMAL BOOLEAN FORMULA SYNTHESIS PROBLEM. ITMO University, 2020.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.