Sage Journals: Discover world-class research

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

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

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem

António Morgado, Joao Marques-Silva

Fundamenta Informaticae

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

Terse Integer Linear Programs for Boolean Optimization

Christoph Buchheim, Giovanni Rinaldi

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

Haplotype Inference by Pure Parsimony: A Survey

Ana Graça, Inês Lynce, João Marques-Silva [...]

Journal of Computational Biology

Retricted access

Research article

First published 2013-04

Ancestral Genome Organization: An Alignment Approach

Patrick Holloway, Krister Swenson, David Ardell [...]

Journal of Computational Biology

Retricted access

Research article

First published 2012-11

Planning as satisfiability with IPC simple preferences and action costs

Marco Maratea

The European Journal on Artificial Intelligence

Search results