Eintrag weiter verarbeiten
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
Gespeichert in:
Zeitschriftentitel: | International Journal of Computational Intelligence Systems |
---|---|
Personen und Körperschaften: | , , , |
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: |