Sage Journals: Discover world-class research

Retricted access

Research article

First published 2005-8

Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces

Anna Gomolińska

Fundamenta Informaticae

Retricted access

Research article

First published 2008-5

Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach

Anna Gomolińska

Fundamenta Informaticae

Open access

Research article

First published 2010-2

Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks

Utz-Uwe Haus, Klaus Truemper, Robert Weismantel

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2019

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

Carlos G. Lopez Pombo, Pablo F. Castro, Nazareno M. Aguirre [...]

Fundamenta Informaticae

Open access

Research article

First published 2007-2

The Complexity of Some Subclasses of Minimal Unsatisfiable Formulas

Hans Kleine Büning, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

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

Open access

Research article

First published 2012-2

Compactly Generating All Satisfying Truth Assignments of a Horn Formula

Marcel Wild

Journal on Satisfiability,Boolean Modelling and Computation

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

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 2013-7

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding [...]

The International Journal of Robotics Research

Search results