Search results: Sage Journals

Open accessResearch articleFirst published May, 2010

Incorporating Clause Learning in Grid-Based Randomized SAT Solving 1

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

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published July 18, 2022

Chu-Min Li, Zhenxing Xu, Jordi Coll [...]

The European Journal on Artificial Intelligence

Free accessResearch articleFirst published January, 2024

Bryn Harris, Tara Kulkarni, Amanda L. Sullivan

Journal of Learning Disabilities

Available accessResearch articleFirst published October 9, 2024

Carmine Dodaro

Intelligenza Artificiale

Available accessResearch articleFirst published September, 2015

Roberto Asín, Marc Bezem, Robert Nieuwenhuis

The European Journal on Artificial Intelligence

Available accessOtherFirst published May, 2009

Matti Järvisalo

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published May 17, 2018

Jan Jakubův, Josef Urban

The European Journal on Artificial Intelligence

Retricted accessResearch articleFirst published August, 2006

Ellen H. Courtney

First Language

Available accessResearch articleFirst published May, 2024

Keiko Hanzawa

Language Teaching Research

Retricted accessResearch articleFirst published October, 1993

John B. Smelcer

Proceedings of the Human Factors and Ergonomics Society Annual Meeting