Sage Journals: Discover world-class research

Open access

Research article

First published 2019-6

CAQE and QuAbS: Abstraction Based QBF Solvers

Leander Tentrup

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2018-5-24

Belief revision between conjunctive normal forms

Guillermo De Ita, Raymundo Marcial-Romero, Pedro Bello [...]

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

Retricted access

Research article

First published 1981

On the Quantifier-Free Fragment of ‘Logic of Effective Definitions’

Jan A. Bergstra, John J.Ch. Meyer

Fundamenta Informaticae

Retricted access

First published 2007-01

Efficacy of topical ophthalmic prophylaxis in prevention of ophthalmia neonatorum

Tropical Doctor

Retricted access

Research article

First published 2011-4

Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency

Oliver Kullmann

Fundamenta Informaticae

Retricted access

Case report

First published 2016-2

Forming limit diagram of tubular hydroformed parts considering the through-thickness compressive normal stress

R Hashemi, K Abrinia, A Assempour [...]

Proceedings of the Institution of Mechanical Engineers,Part L: Journal of Materials: Design and Applications

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 2006-2

Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques

Harri Haanpää, Matti Järvisalo, Petteri Kaski [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-5

DepQBF : A Dependency-Aware QBF Solver

Florian Lonsing, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1996-1

Devices for the experimental determination of individual stresses from thermoelastic data

P Stanley, J M Dulieu-Smith

The Journal of Strain Analysis for Engineering Design

Search results