Search results

Articles (4)

Journals (0)

1-4 of 4 results for unsatisfiable core analysis

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2020

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

Mario Alviano, Carmine Dodaro

Fundamenta Informaticae

Retricted access

Research article

First published 2018-7-22

Mario Alviano

Intelligenza Artificiale

Retricted access

Research article

First published 2018-11

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

Teachers College Record: The Voice of Scholarship in Education

Free access

Research article

First published 2021-11

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

Antiviral Therapy