Non-uniform time sharing in the concurrent execution of constraint solving

DOI10.1016/S0004-3702(99)00003-XzbMATH Open0916.68030OpenAlexW2068495332MaRDI QIDQ1292311FDOQ1292311

Authors: Richard Krajčoviech, Margaréta Kotočová 

Publication date: 21 June 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00003-x

Recommendations

• Concurrent search for distributed CSPs
• Principles and Practice of Constraint Programming – CP 2004
• Recent Advances in Constraints
• Constraints meet concurrency
• Recent Advances in Constraints

zbMATH Keywords

phase transitionbacktrackinggraph colouringforward checkingdynamic variable ordering heuristic

Mathematics Subject Classification ID

Searching and sorting (68P10)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: Non-uniform time sharing in the concurrent execution of constraint solving

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