Sage Journals: Discover world-class research

Open access

Research article

First published 2014-6

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

Ruben Martins, Saurabh Joshi, Vasco Manquinho [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2010-5

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras [...]

The European Journal on Artificial Intelligence

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 2012-8

MUSer2: An Efficient MUS Extractor 1

Anton Belov, Joao Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2017-5

Improved FCM algorithm based on initial center optimization method

Yanli Shi, Jizhu Nan

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

Retricted access

Research article

First published 2020

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

Mario Alviano, Carmine Dodaro

Fundamenta Informaticae

Retricted access

Research article

First published 2012-5

Towards efficient MUS extraction

Anton Belov, Inês Lynce, Joao Marques-Silva

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2018-4-19

An interactive preference-based evolutionary algorithm for multi-criteria satisficing optimization

Guo-Zhong Fu, Yan-Feng Li, Ye Tao [...]

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

Retricted access

Research article

First published 2020

Partial (Neighbourhood) Singleton Arc Consistency for Constraint Satisfaction Problems

Richard J. Wallace

Fundamenta Informaticae

Retricted access

Research article

First published 2018-7-22

Algorithms for solving optimization problems in answer set programming 1

Mario Alviano

Intelligenza Artificiale

Search results