Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-5

Parallel search for maximum satisfiability

Ruben Martins, Vasco Manquinho, Inês Lynce

The European Journal on Artificial Intelligence

Open access

Research article

First published 2006-2

Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems

Miguel F. Anjos

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-5

Solving disjunctive temporal problems with preferences using maximum satisfiability

Marco Maratea, Luca Pulina

The European Journal on Artificial Intelligence

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 2016-3-2

Maximal falsifiability

Alexey Ignatiev, Antonio Morgado, Jordi Planes [...]

The European Journal on Artificial Intelligence

Open access

Research article

First published 2019-6

MaxSAT Evaluation 2018: New Developments and Detailed Results

Fahiem Bacchus, Matti Järvisalo, Ruben Martins

Journal on Satisfiability,Boolean Modelling and Computation

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

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

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem

António Morgado, Joao Marques-Silva

Fundamenta Informaticae

Open access

Research article

First published 2010-2

Terse Integer Linear Programs for Boolean Optimization

Christoph Buchheim, Giovanni Rinaldi

Journal on Satisfiability,Boolean Modelling and Computation

Search results