Not registered as user yet

Name: Matthew Might

Affiliation: University of Utah, USA

SPLASH 2016 Activities

• Author of A Small Embedding of Logic Programming with a Simple Complete Search within the DLS-track in DLS 2016
• Show activities from other conferences