Search results: Sage Journals

Available accessResearch articleFirst published August, 2005

Stochastic local search for incremental SAT

Malek Mouhoub

International Journal of Knowledge-Based and Intelligent Engineering Systems

Available accessResearch articleFirst published June 11, 2018

Dangdang Niu, Lei Liu, Shuai Lü

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published November, 2020

Abdelouahab Laachemi, Dalila Boughaci

Intelligent Decision Technologies

Available accessOtherFirst published May, 2009

Matti Järvisalo

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published February, 2000

Eric Poupaert, Yves Deville

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published November, 2004

Malek Mouhoub

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published May, 2011

Federico Heras, David Bañeres

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published January, 2014

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

Fundamenta Informaticae

Available accessResearch articleFirst published February, 2005

Malek Mouhoub

International Journal of Knowledge-Based and Intelligent Engineering Systems

Free accessResearch articleFirst published May, 2016

Mauro Brunato, Roberto Battiti

Informatica: An International Journal of Computing and Informatics