Sage Journals: Discover world-class research

Open access

Research article

First published 2011-5

The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers

Federico Heras, David Bañeres

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2024-6

TT-Open-WBO-Inc : An Efficient Anytime MaxSAT Solver

Alexander Nadel

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2009-2

Boosting SAT Solver Performance via a New Hybrid Approach 1

Lei Fang, Michael S. Hsiao

Journal on Satisfiability,Boolean Modelling and Computation

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 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 2006-5

Propositional satisfiability: Techniques,algorithms and applications

Inês Lynce

The European Journal on Artificial Intelligence

Open access

Research article

First published 2008-5

Combining Adaptive and Dynamic Local Search for Satisfiability

Duc Nghia Pham, John Thornton, Charles Gretton [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2008-2

SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results

Sriyankar Acharyya

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2018-6-11

New stochastic local search approaches for computing preferred extensions of abstract argumentation

Dangdang Niu, Lei Liu, Shuai Lü

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2018-5-17

Towards backbone computing: A Greedy-Whitening based approach

Yueling Zhang, Min Zhang, Geguang Pu [...]

The European Journal on Artificial Intelligence

Search results