RCIN and OZwRCIN projects

Object

Title: Genetic - fuzzy approach to the boolean satisfiability problem

Subtitle:

Raport Badawczy = Research Report ; RB/57/2001

Publisher:

Instytut Badań Systemowych. Polska Akademia Nauk ; Systems Research Institute. Polish Academy of Sciences

Place of publishing:

Warszawa

Description:

21 stron ; 21 cm ; Bibliografia s. 21

Abstract:

This study concerns with the Boolean satisfiability (SAT) problem and its solution in the setting of a hybrid computational intelligence environment of genetic and fuzzy computing. In this tramework, fuzzy sets realize an embedding principle meaning that original two-values (Boolean) functions under investigation are extended to their continuous counterparts resulting in the form of fuzzy (multivalued) functions. In the sequel, the satisfiability problem is reformulated for the fuzzy functions and solved using a genetic algorithm (GA). It is shown that a GA, especially its recursive version, is an efficient tool for handling multivariable SAT problems. Thorough experiments revealed that the recursive version of the GA can solve SAT problems with more than 1000 variables.

Relation:

Raport Badawczy = Research Report

Detailed Resource Type:

Raport

Resource Identifier:

oai:rcin.org.pl:129944

Source:

RB-2001-57

Language:

eng

Language of abstract:

eng

Rights:

Licencja Creative Commons Uznanie autorstwa 4.0

Terms of use:

Zasób chroniony prawem autorskim. [CC BY 4.0 Międzynarodowe] Korzystanie dozwolone zgodnie z licencją Creative Commons Uznanie autorstwa 4.0, której pełne postanowienia dostępne są pod adresem: ; -

Digitizing institution:

Instytut Badań Systemowych Polskiej Akademii Nauk

Original in:

Biblioteka Instytutu Badań Systemowych PAN

Projects co-financed by:

Program Operacyjny Polska Cyfrowa, lata 2014-2020, Działanie 2.3 : Cyfrowa dostępność i użyteczność sektora publicznego; środki z Europejskiego Funduszu Rozwoju Regionalnego oraz współfinansowania krajowego z budżetu państwa

Access:

Otwarty

Object collections:

Last modified:

Oct 19, 2021

In our library since:

Jun 30, 2020

Number of object content downloads / hits:

86

All available object's versions:

https://www.rcin.org.pl/publication/162669

Show description in RDF format:

RDF

Show description in RDFa format:

RDFa

Show description in OAI-PMH format:

OAI-PMH

×

Citation

Citation style:

This page uses 'cookies'. More information