Sage Journals: Discover world-class research

Retricted access

Research article

First published 2024-11-28

Complemented subsets and Boolean-valued,partial functions

Daniel Misselbeck-Wessel, Iosif Petrakis

Computability

Retricted access

Research article

First published 2005-6

On Effective Methods for Diagnosis of Retaining Faults in Circuits

Albina Moshkova

Fundamenta Informaticae

Retricted access

Research article

First published 2008-4

An Improved Boolean Circuit for Maximum Matching in a Convex Bipartite Graph

Eunhui Park, Kunsoo Park

Fundamenta Informaticae

Open access

Research article

First published 2012-2

Encoding Nested Boolean Functions as Quantified Boolean Formulas

Uwe Bubeck, Hans Kleine Büning

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2004-9

Improving User Search with Embedded Boolean Search Hints

Jennifer Bandos, Marc L. Resnick

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2014-12

A new filter in BL-algebras

Arsham Borumand Saeid, Somayeh Motamed

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2015-9

Boolean Matrices and their Applications to Covering Reductions

Kai Zhu, Guilong Liu, Yanbin Feng

Fundamenta Informaticae

Retricted access

Research article

First published 2016-4

Lattice and metric completions of the classical logic metric space and a comparison 1

Hui-Xian Shi, Yong-Ming Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2000-08

Algorithms for Identifying Boolean Networks and Related Biological Networks Based on Matrix Multiplication and Fingerprint Function

Tatsuya Akutsu, Satoru Miyano, Satoru Kuhara

Journal of Computational Biology

Open access

Research article

First published 2012-2

PackUp : Tools for Package Upgradability Solving 1

Mikoláš Janota, Inês Lynce, Vasco Manquinho [...]

Journal on Satisfiability,Boolean Modelling and Computation

Search results