Sage Journals: Discover world-class research

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

Open access

Research article

First published 2006-2

On Using Cutting Planes in Pseudo-Boolean Optimization

Vasco M. Manquinho, João Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

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

Retricted access

Research article

First published 2014-8

Inferring phylogenetic trees using pseudo-Boolean optimization

Miguel Miranda, Inês Lynce, Vasco Manquinho

The European Journal on Artificial Intelligence

Retricted access

Research article

First published

A Pseudo-Boolean Framework for Computing Rearrangement Distances between Genomes with Duplicates

Sébastien Angibaud, Guillaume Fertin, Irena Rusu [...]

Journal of Computational Biology

Retricted access

Research article

First published 2007-5

A node-to-node composite graph and pseudo-Boolean modelling: An unmanned aerial vehicle energy application

J T Economou, G P Kladis, A Tsourdos [...]

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Open access

Research article

First published

On open problems based on fuzzy filters of pseudo BCK -algebras

Wang Wei, Wan Hui, Du Kai [...]

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

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

Search results