Handbook of parallel constraint reasoning

DOI10.1007/978-3-319-63516-3MaRDI QIDQ4644194zbMATH OpenOpenAlexFDO

Authors

Publication date 30 May 2018

Full work available at URL https://doi.org/10.1007/978-3-319-63516-3

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Parallel algorithms in computer science (68W10)

Recommendations

• Handbook of satisfiability. In 2 parts
• Handbook of constraint programming.
• A review of literature on parallel constraint solving
• Publication:3493326
• An overview of parallel SAT solving

Cited in

(9)

• \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
• Improving the robustness of EPS to solve the TSP
• Past and present (and future) of parallel and distributed computation in (constraint) logic programming
• A review of literature on parallel constraint solving
• scientific article; zbMATH DE number 7453148 (Why is no real title available?)
• Finding Effective SAT Partitionings Via Black-Box Optimization
• Trusted scalable SAT solving with on-the-fly LRAT checking
• Modeling of parallel program synchronization primitives
• Constraint propagation on GPU: a case study for the cumulative constraint

This page was built for publication: Handbook of parallel constraint reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644194)