Sage Journals: Discover world-class research

Retricted access

Research article

First published 2005-8

Stochastic local search for incremental SAT

Malek Mouhoub

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2018-6-11

New stochastic local search approaches for computing preferred extensions of abstract argumentation

Dangdang Niu, Lei Liu, Shuai Lü

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020-11

Improved machine learning classifiers combined with a stochastic local search for Web services classification

Abdelouahab Laachemi, Dalila Boughaci

Intelligent Decision Technologies

Retricted access

Other

First published 2009-5

Structure-based satisfiability checking

Matti Järvisalo

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2000-2

Simulated Annealing with estimated temperature

Eric Poupaert, Yves Deville

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2004-11

Systematic versus non systematic techniques for solving temporal constraints in a dynamic environment

Malek Mouhoub

The European Journal on Artificial Intelligence

Open access

Research article

First published 2011-5

The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers

Federico Heras, David Bañeres

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2014-1

Grasp and Path-Relinking for Coalition Structure Generation

Nicola Di Mauro, Teresa M.A. Basile, Stefano Ferilli [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2005-2

Stochastic search versus genetic algorithms for solving real time and over-constrained temporal constraint problems

Malek Mouhoub

International Journal of Knowledge-Based and Intelligent Engineering Systems

Free access

Research article

First published 2016-5

CoRSO (Collaborative Reactive Search Optimization): Blending Combinatorial and Continuous Local Search

Mauro Brunato, Roberto Battiti

Informatica: An International Journal of Computing and Informatics

Search results