Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-5

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

Mario Alviano, Carmine Dodaro

Fundamenta Informaticae

Open access

Research article

First published 2014-6

Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2011-2

Restoring CSP Satisfiability with MaxSAT

Inês Lynce, Joao Marques-Silva

Fundamenta Informaticae

Retricted access

Research article

First published 2018-7-22

Algorithms for solving optimization problems in answer set programming 1

Mario Alviano

Intelligenza Artificiale

Retricted access

Research article

First published 2006-5

Propositional satisfiability: Techniques,algorithms and applications

Inês Lynce

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2006-9

Integration: Defending It,Describing It,Doing It

Stanton L. Jones

Journal of Psychology and Theology

Retricted access

Research article

First published 2009-05

Nurse teacherhood and the categories influencing it

Arja Holopainen, Kerttu Tossavainen, Eija Kärnä-Lin

Journal of Research in Nursing

Retricted access

Research article

First published 2018-11

Kindergarten Teachers’ Instructional Priorities Misalignment and Job Satisfaction: A Mixed Methods Analysis

Larissa M. Gaias, Manuela Jimenez, Tashia Abry [...]

Teachers College Record: The Voice of Scholarship in Education

Free access

Research article

First published 2021-11

A baseline model including quantitative anti-HBc to predict response of peginterferon in HBeAg-positive chronic hepatitis B patients

Yu-Qing Fang, Xiao-Yan Xu, Feng-Qin Hou [...]

Antiviral Therapy

Search results