Sage Journals: Discover world-class research

1-10 of 68 results for Boolean optimization

Sort by:

Relevance

Select allExport selected citations

Sort by:

Relevance

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

Compact classification of optimized Boolean reasoning with Particle Swarm Optimization

D.F. Sameon, S.M. Shamsuddin, R. Sallehuddin [...]

Intelligent Data Analysis: An International Journal

Retricted access

Research article

First published 2014

Inferring phylogenetic trees using pseudo-Boolean optimization

Miguel Miranda, Inês Lynce, Vasco Manquinho

The European Journal on Artificial Intelligence

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 2015

MaxSAT-based encodings for Group MaxSAT

Federico Heras, Antonio Morgado, Joao Marques-Silva

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2025-7

Topology optimization of asymmetric Interior permanent magnet motors using Gaussian basis function

Rei Ogasawara, Yoshitsugu Otomo, Takashi Abe

International Journal of Applied Electromagnetics and Mechanics

Retricted access

Research article

First published 2010

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem

António Morgado, Joao Marques-Silva

Fundamenta Informaticae

Retricted access

Research article

First published 1994-2

Bayesian approach adapting stochastic and heuristic methods of global and discrete optimization

Audrius Mockus, Jonas Mockus, Linas Mockus

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2016

Maximal falsifiability

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

The European Journal on Artificial Intelligence

Search results