Sage Journals: Discover world-class research

Open access

Research article

First published 2006-2

Pueblo: A Hybrid Pseudo-Boolean SAT Solver

Hossein M. Sheini, Karem A. Sakallah

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

The First Evaluation of Pseudo-Boolean Solvers (PB’05)

Vasco M. Manquinho, Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

Translating Pseudo-Boolean Constraints into SAT

Niklas Eén, Niklas Sörensson

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2020

MILP,Pseudo-Boolean,and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks *

Qian Matteo Chen, Alberto Finzi, Toni Mancini [...]

Fundamenta Informaticae

Open access

Research article

First published 2006-2

A Translation of Pseudo-Boolean Constraints to SAT

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-5

The Sat4j library,release 2.2

Daniel Le Berre, Anne Parrain

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

Open access

Research article

First published 2012-2

PackUp : Tools for Package Upgradability Solving 1

Mikoláš Janota, Inês Lynce, Vasco Manquinho [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2006-11

Tools for modeling and solving search problems

Deborah East, Mikhail Iakhiaev, Artur Mikitiuk [...]

The European Journal on Artificial Intelligence

Open access

Research article

First published 2011-11

Controlling a Solver Execution with the runsolver Tool

Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Search results