Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Physical Sciences and Mathematics
Multi-Core Unit Propagation In Functional Languages, Jonathan Alexander Leaver
Multi-Core Unit Propagation In Functional Languages, Jonathan Alexander Leaver
Electronic Thesis and Dissertation Repository
Answer Set Programming is a declarative modeling paradigm enabling specialists in diverse disciplines to describe and solve complicated problems. Growth in high performance computing is driving ever smarter and more scalable parallel answer set solvers. To improve on today's cutting-edge, researchers need to develop increasingly intelligent methods for analysis of a solver's runtime information. Reflecting on the solver's search state typically pauses its progress until the analysis is complete. This work introduces methods from the domain of parallel functional programming and immutable type theory to construct a representation of the search state that is both amenable to introspection and efficiently …