Sage Journals: Discover world-class research

Open access

Research article

First published 2010-5

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

Retricted access

Research article

First published 2022-7-18

Boosting branch-and-bound MaxSAT solvers with clause learning

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

The European Journal on Artificial Intelligence

Free access

Research article

First published 2024-1

Review of State Policies and Guidance for the Identification of Culturally and Linguistically Minoritized Students With Specific Learning Disabilities

Bryn Harris, Tara Kulkarni, Amanda L. Sullivan

Journal of Learning Disabilities

Retricted access

Research article

First published 2024-10-09

Design and implementation of modern CDCL ASP solvers

Carmine Dodaro

Intelligenza Artificiale

Retricted access

Research article

First published 2015-9

Improving IntSat by expressing disjunctions of bounds as linear constraints

Roberto Asín, Marc Bezem, Robert Nieuwenhuis

The European Journal on Artificial Intelligence

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 2018-5-17

Hierarchical invention of theorem proving strategies

Jan Jakubův, Josef Urban

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2006-08

Adult and child production of Quechua relative clauses

Ellen H. Courtney

First Language

Retricted access

Research article

First published 2024-5

Development of second language speech fluency in foreign language classrooms: A longitudinal study

Keiko Hanzawa

Language Teaching Research

Open access

Research article

First published 2010-5

ManySAT: a Parallel SAT Solver

Youssef Hamadi, Said Jabbour, Lakhdar Sais

Journal on Satisfiability,Boolean Modelling and Computation

Search results