Search results: Sage Journals

Open accessResearch articleFirst published February, 2006

On Using Cutting Planes in Pseudo-Boolean Optimization

Vasco M. Manquinho, João Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published May, 2015

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 accessResearch articleFirst 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 accessResearch articleFirst published May, 2010

ManySAT: a Parallel SAT Solver

Youssef Hamadi, Said Jabbour, Lakhdar Sais

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published February, 2019

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 accessResearch articleFirst published April, 2008

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

Available accessResearch articleFirst published November, 2014

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

Available accessResearch articleFirst published February, 2007

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 accessResearch articleFirst published May, 2011

DepQBF : A Dependency-Aware QBF Solver

Florian Lonsing, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Retricted accessResearch articleFirst published January, 2009

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

Miquel Estrada, Francesc Robusté

Transportation Research Record: Journal of the Transportation Research Board

Open accessResearch articleFirst published February, 2006

On Using Cutting Planes in Pseudo-Boolean Optimization

Vasco M. Manquinho, João Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published May, 2015

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 accessResearch articleFirst 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 accessResearch articleFirst published May, 2010

ManySAT: a Parallel SAT Solver

Youssef Hamadi, Said Jabbour, Lakhdar Sais

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published February, 2019

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 accessResearch articleFirst published April, 2008

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

Available accessResearch articleFirst published November, 2014

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

Available accessResearch articleFirst published February, 2007

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 accessResearch articleFirst published May, 2011

DepQBF : A Dependency-Aware QBF Solver

Florian Lonsing, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Retricted accessResearch articleFirst published January, 2009

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

Miquel Estrada, Francesc Robusté

Transportation Research Record: Journal of the Transportation Research Board