Search results

Articles (4)

Journals (0)

1-4 of 4 results for unsatisfiable core analysis

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published 2020

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

Mario Alviano, Carmine Dodaro

Fundamenta Informaticae

Restricted accessResearch articleFirst published July 22, 2018

Algorithms for solving optimization problems in answer set programming 1

Mario Alviano

Intelligenza Artificiale

Restricted accessResearch articleFirst published November, 2018

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 accessResearch articleFirst published November, 2021

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

Articles (4)

Journals (0)

1-4 of 4 results for unsatisfiable core analysis

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published 2020

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

Mario Alviano, Carmine Dodaro

Fundamenta Informaticae

Restricted accessResearch articleFirst published July 22, 2018

Algorithms for solving optimization problems in answer set programming 1

Mario Alviano

Intelligenza Artificiale

Restricted accessResearch articleFirst published November, 2018

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 accessResearch articleFirst published November, 2021

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