Sage Journals: Discover world-class research

Retricted access

Research article

First published 1988

Logics of Programs with Boolean Memory

Pawel Urzyczyn

Fundamenta Informaticae

Open access

Research article

First published 2010-2

Terse Integer Linear Programs for Boolean Optimization

Christoph Buchheim, Giovanni Rinaldi

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1997-12

The use of genetic programming to build Boolean queries for text retrieval through relevance feedback

Martin P. Smith, Martin Smith

Journal of Information Science

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 2014-1-24

An optimization framework for role mining

Haibing Lu, Jaideep Vaidya, Vijayalakshmi Atluri

Journal of Computer Security

Retricted access

Book review

First published 1967-7

Book Review: Boolean Algebra – A Self Instructional Programmed Manual

D. H. Green

International Journal of Electrical Engineering & Education

Retricted access

Research article

First published 2013-6

Europeanisation of Regional Policy Making: A Boolean Analysis of Norwegian Counties' Participation in the Eu's Interreg Programme

Rune Dahl Fitjar, Einar Leknes, Janne Thygesen

Environment and Planning C: Politics and Space

Retricted access

Research article

First published 2016

Instruction Sequence Size Complexity of Parity

J.A. Bergstra, C.A. Middelburg

Fundamenta Informaticae

Retricted access

Research article

First published 2020-10-07

Switching function based on hypergraphs with algorithm and python programming

Mohammad Hamidi, Marzieh Rahmati, Akbar Rezaei

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

Open access

Research article

First published 2007-2

On Solving Boolean Combinations of UTVPI Constraints

Sanjit A. Seshia, K. Subramani, Randal E. Bryant

Journal on Satisfiability,Boolean Modelling and Computation

Search results