Results 171 to 180 of about 770 (181)

Genetic-fuzzy approach to the Boolean satisfiability problem

IEEE Transactions on Evolutionary Computation, 2002
Witold Pedrycz, Giancarlo Succi
exaly  

HPC-based parallel software for solving applied Boolean satisfiability problems

2020
V G Bogdanova, A A Pashinin
exaly  

Boolean Satisfiability

2019
openaire   +1 more source

Summarization of Boolean satisfiability verification

Journal of Electronics, 2014
Junyan Qian, Lingzhong Zhao, Qian Junyan   +2 more
exaly  

Cell formation in group technology using constraint programming and Boolean satisfiability

Expert Systems With Applications, 2012
Ricardo Soto, Orlando Duran, Broderick Crawford   +2 more
exaly  

Test pattern generation using Boolean satisfiability

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
exaly  

On the complexity of the satisfiability problem for a system of functional Boolean equations

Journal of Applied and Industrial Mathematics, 2013
exaly  

Steiner systems and the Boolean satisfiability problem

Proceedings of the 1996 ACM symposium on Applied Computing - SAC '96, 1996
openaire   +1 more source

Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras

Theoretical Computer Science, 2013
exaly  

Linear Programming Formulation of Boolean Satisfiability Problem

Lecture Notes in Electrical Engineering, 2014
exaly