Eintrag weiter verarbeiten
Buchumschlag von A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
Verfügbar über Open Access

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: International Journal of Computational Intelligence Systems
Personen und Körperschaften: Chen, Qingshan, Xu, Yang, Liu, Jun, He, Xingxing
In: International Journal of Computational Intelligence Systems, 10, 2017, 1, S. 824
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Springer Science and Business Media LLC
Schlagwörter: