Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-4

Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure

Oliver Kullmann

Fundamenta Informaticae

Retricted access

Research article

First published 2011-4

Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency

Oliver Kullmann

Fundamenta Informaticae

Open access

Research article

First published 2007-8

An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas

Hans Kleine Büning, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2022-07-21

Nonlinearity of nonbalanced and nearly bent boolean functions based on Galois ring

Nabilah Abughazalah, Majid Khan, Syeda Iram Batool

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

Open access

Research article

First published 2006-8

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure 1

Martin Fränzle, Christian Herde, Tino Teige [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2008-3

Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment

C Ibáñez-Llano, E Meléndez, Nieto F

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2014-6

Certificates of Non-Membership for Classes of Read-Once Functions

Dmitry Chistikov, Valentina Fedorova, Andrey Voronenko

Fundamenta Informaticae

Retricted access

Research article

First published 1999-9

Ciphertext Only Attack on LFSR Based Encryption Scheme

S. Maitra, B. K. Roy, P. Sarkar

Calcutta Statistical Association Bulletin

Retricted access

Research article

First published 2015-12

Knowledge Reduction in Crisply Generated Fuzzy Concept Lattices

Mei-Zheng Li, Guo-Yin Wang

Fundamenta Informaticae

Retricted access

Research article

First published 1994-12

EXPRESSIBILITY OF THE SEMANTICS OF SEQUENTIAL PROGRAMS IN FIRST-ORDER LOGIC

Hardi Hungar

Fundamenta Informaticae

Search results