Sage Journals: Discover world-class research

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

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

Research article

First published 1997-8

Extension Rule for Non-Clausal Propositional Calculus

Kazimir Majorinc

Fundamenta Informaticae

Open access

Research article

First published 2007-8

Lazy Satisfiability Modulo Theories

Roberto Sebastiani

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1995-12

ON THE SATISFIABILITY PROBLEM FOR LAMPORT'S PROPOSITIONAL TEMPORAL LOGIC OF ACTIONS AND SOME OF ITS EXTENSIONS

Y.S. Ramakrishna

Fundamenta Informaticae

Retricted access

Research article

First published 2023-12-02

Convergence analysis of a survey propagation algorithm 1

Zhixin Xie, Xiaofeng Wang, Lan Yang [...]

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

Retricted access

Other

First published 2009-5

Structure-based satisfiability checking

Matti Järvisalo

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2013-4

Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width

Robert Ganian, Petr Hliněný, Jan Obdržálek

Fundamenta Informaticae

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

Search results