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

Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules

Carlos Mencía, María R. Sierra, Miguel A. Salido [...]

The European Journal on Artificial Intelligence

Open access

Research article

First published 2025

Reasons for discontinuing and restarting lithium multiple times: a case-register study based on the South London and Maudsley NHS Foundation Trust Clinical Record Interactive Search system

Petra Truedson, Kalliopi Vallianatou, Michael Ott [...]

Therapeutic Advances in Psychopharmacology

Open access

Research article

First published 2010-5

ManySAT: a Parallel SAT Solver

Youssef Hamadi, Said Jabbour, Lakhdar Sais

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2019-2

Performance improvement of a genetic algorithm using a novel restart strategy with elitism principle

Amit Kumar Das, Dilip Kumar Pratihar

International Journal of Hybrid Intelligent Systems

Retricted access

Research article

First published 2008-04

Constrained Globalized Nelder—Mead Method for Simultaneous Structural and Manufacturing Optimization of a Composite Bracket

Hossein Ghiasi, Damiano Pasini, Larry Lessard

Journal of Composite Materials

Retricted access

Research article

First published 2014-11

Recentering and restarting a genetic algorithm using a generative representation for an ordered gene problem 1

James Alexander Hughes, Sheridan Houghten, Daniel Ashlock

International Journal of Hybrid Intelligent Systems

Retricted access

Research article

First published 2007-2

An improved particle swarm optimization algorithm for global optimizations of electromagnetic devices

Jianyang Dong, Shiyou Yang, Gangzheng Ni [...]

International Journal of Applied Electromagnetics and Mechanics

Open access

Research article

First published 2011-5

DepQBF : A Dependency-Aware QBF Solver

Florian Lonsing, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2009-1

Long-Haul Shipment Optimization for Less-Than-Truckload Carriers

Miquel Estrada, Francesc Robusté

Transportation Research Record: Journal of the Transportation Research Board

Search results