Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-11

Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator

Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch

Fundamenta Informaticae

Open access

Research article

First published 2007-8

Lazy Satisfiability Modulo Theories

Roberto Sebastiani

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-8

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic

Shuvendu K. Lahiri, Krishna K. Mehra

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems

Miguel F. Anjos

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2007-2

An Abstract Decision Procedure for a Theory of Inductive Data Types

Clark Barrett, Igor Shikanian, Cesare Tinelli

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1999-9

Fat Grafting: Techniques and Uses in Different Anatomic Areas

Enríque Hernández-Pérez, Carlos Lozano-Guarin

The American Journal of Cosmetic Surgery

Retricted access

Research article

First published 1982-1

Shapes of red blood cells during micropipette aspiration 1 2

Bipin K. Pai

Biorheology

Retricted access

Research article

First published 2001-2

Direct Displacement-Based Design: Use of Inelastic vs. Elastic Design Spectra

Anil K. Chopra, Rakesh K. Goel

Earthquake Spectra

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

Retricted access

Research article

First published 2019-12

Predictors of satisfaction with Kenya’s police and Kenya’s criminal justice system: Results from a sample of Kenyan college students

Daniel K Pryce, George Wilson, Kenethia Fuller

The Police Journal: Theory,Practice and Principles

Search results