Search results: Sage Journals

Available accessResearch articleFirst published May, 2006

Propositional satisfiability: Techniques,algorithms and applications

Inês Lynce

The European Journal on Artificial Intelligence

Available accessOtherFirst published February, 2006

Marco Maratea

The European Journal on Artificial Intelligence

Retricted accessResearch articleFirst published August, 1997

Kazimir Majorinc

Fundamenta Informaticae

Open accessResearch articleFirst published August, 2007

Roberto Sebastiani

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published December 2, 2023

Zhixin Xie, Xiaofeng Wang, Lan Yang [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted accessResearch articleFirst published December, 1995

Y.S. Ramakrishna

Fundamenta Informaticae

Available accessOtherFirst published May, 2009

Matti Järvisalo

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published April, 2013

Robert Ganian, Petr Hliněný, Jan Obdržálek

Fundamenta Informaticae

Available accessOtherFirst published August, 2011

Roberto Carbone

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published May, 2010

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

Journal on Satisfiability,Boolean Modelling and Computation