Genetic-fuzzy approach to the Boolean satisfiability problem

This study is concerned with the Boolean satisfiability (SAT) problem and its solution in setting a hybrid computational intelligence environment of genetic and fuzzy computing. In this framework, fuzzy sets realize an embedding principle meaning that original two-valued (Boolean) functions under in...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on evolutionary computation 2002-10, Vol.6 (5), p.519-525
Hauptverfasser:	Pedrycz, W., Succi, G., Shai, O.
Format:	Artikel
Sprache:	eng
Schlagworte:	Application software Applied sciences Artificial intelligence Automatic testing Boolean algebra Boolean functions Computational intelligence Computer science control theory systems Exact sciences and technology Explosions Fuzzy Fuzzy logic Fuzzy set theory Fuzzy sets Genetic algorithms Learning and adaptive systems Logic Logical, boolean and switching functions Mathematical analysis Mathematical models NP-complete problem Recursive System testing Theoretical computing
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!