Justifying All Differences Using Pseudo-Boolean Reasoning

Elffers, J., Gocht, S., McCreesh, C. and Nordström, J. (2020) Justifying All Differences Using Pseudo-Boolean Reasoning. In: Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York, NY, USA, 07-12 Feb 2020, (Accepted for Publication)

[img] Text
204158.pdf - Accepted Version
Restricted to Repository staff only

207kB

Publisher's URL: https://aaai.org/ojs/index.php/AAAI/index

Abstract

No abstract available.

Item Type:Conference Proceedings
Status:Accepted for Publication
Refereed:Yes
Glasgow Author(s) Enlighten ID:Mccreesh, Dr Ciaran
Authors: Elffers, J., Gocht, S., McCreesh, C., and Nordström, J.
College/School:College of Science and Engineering > School of Computing Science
ISSN:2159-5399
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
300525Modelling and Optimisation with GraphsPatrick ProsserEngineering and Physical Sciences Research Council (EPSRC)EP/P026842/1Computing Science