Sage Journals: Discover world-class research

Retricted access

Other

First published 2009-5

Structure-based satisfiability checking

Matti Järvisalo

The European Journal on Artificial Intelligence

Retricted access

Other

First published 2006-2

Efficient decision procedures for the integration of planning and formal verification in advanced systems

Marco Maratea

The European Journal on Artificial Intelligence

Retricted access

Other

First published 2011-8

LTL model-checking for security protocols

Roberto Carbone

The European Journal on Artificial Intelligence

Open access

Research article

First published 2010-5

Incorporating Clause Learning in Grid-Based Randomized SAT Solving 1

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2006-5

Propositional satisfiability: Techniques,algorithms and applications

Inês Lynce

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2010-7

SAT as a Programming Environment for Linear Algebra

Marian Srebrny, Lidia Stepień

Fundamenta Informaticae

Open access

Research article

First published 2019-6

RC2: an Efficient MaxSAT Solver

Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2002-1

DNA and Membrane Algorithms for SAT

Vincenzo Manca

Fundamenta Informaticae

Open access

Research article

First published 2014-6

MSCG: Robust Core-Guided MaxSAT Solving

Antonio Morgado, Alexey Ignatiev, Joao Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2015-5

Algorithms for computing backbones of propositional formulae

Mikoláš Janota, Inês Lynce, Joao Marques-Silva

The European Journal on Artificial Intelligence

Search results