Dagster: Parallel Structured Search with Case Studies

Burgess, M. D. J.; Gretton, Charles; Milthorpe, Josh; Croak, Luke; Willingham, Thomas; Tiu, Alwen

doi:10.1007/978-3-031-20862-1_6

Lecture Notes in Computer Science

2022

DOI: 10.1007/978-3-031-20862-1_6

|View full text |Cite

Dagster: Parallel Structured Search with Case Studies

M. D. J. Burgess

Charles Gretton

Josh Milthorpe

et al.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Sourcecode: Zenodo(Burgess 2022), and GitHub, https:// github.com/ANU-HPC/dagsterThe Thirty-Seventh AAAI Conference on Artificial Intelligence …”

mentioning

confidence: 99%

Dagster: Parallel Structured Search

Burgess

Gretton

Milthorpe

et al. 2023

AAAI

View full text Add to dashboard Cite

We demonstrate Dagster, a system that implements a new approach to scheduling interdependent (Boolean) SAT search activities in high-performance computing (HPC) environments. Our system takes as input a set of disjunctive clauses (i.e., DIMACS CNF) and a labelled directed acyclic graph (DAG) structure describing how the clauses are decomposed into a set of interrelated problems. Component problems are solved using standard systematic backtracking search, which may optionally be coupled to (stochastic dynamic) local search and/or clause-strengthening processes. We demonstrate Dagster using a new Graph Maximal Determinant combinatorial case study. This demonstration paper presents a new case study, and is adjunct to the longer accepted manuscript at the Pacific Rim International Conference on Artificial Intelligence (2022).

show abstract

“…Sourcecode: Zenodo(Burgess 2022), and GitHub, https:// github.com/ANU-HPC/dagsterThe Thirty-Seventh AAAI Conference on Artificial Intelligence …”

mentioning

confidence: 99%

Dagster: Parallel Structured Search

Burgess

Gretton

Milthorpe

et al. 2023

AAAI

View full text Add to dashboard Cite

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Dagster: Parallel Structured Search with Case Studies

Cited by 1 publication

References 29 publications

Dagster: Parallel Structured Search

Dagster: Parallel Structured Search

Contact Info

Product

Resources

About