Sage Journals: Discover world-class research

Open access

Research article

First published 2011-2

Resolution on Quantified Generalized Clause-sets

Jiwei Jin, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2011-4

Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency

Oliver Kullmann

Fundamenta Informaticae

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 1993

Deciding Clause Classes by Semantic Clash Resolution

Alexander Leitsch

Fundamenta Informaticae

Retricted access

Research article

First published 2005-8

Stochastic local search for incremental SAT

Malek Mouhoub

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2008-5

SAT-based Unbounded Model Checking of Timed Automata

Wojciech Penczek, Maciej Szreter

Fundamenta Informaticae

Retricted access

Research article

First published 1994-6

MODEL FINDING IN SEMANTICALLY GUIDED INSTANCE-BASED THEOREM PROVING

Heng Chu, David A. Plaisted

Fundamenta Informaticae

Open access

Research article

First published 2014-6

Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1999-8

A Hybrid Method for Finite Model Search in Equational Theories

Belaid Benhamou, Laurent Henocque

Fundamenta Informaticae

Retricted access

Research article

First published 2000-11

Labour Standards in the Generalized Systems of Preferences of the European Union and the United States

George Tsogas

European Journal of Industrial Relations

Search results