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

DOI10.1016/S0004-3702(99)00003-XMaRDI QIDQ1292311zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

backtrackingdynamic variable ordering heuristicforward checkinggraph colouringphase transition

Mathematics Subject Classification ID

Searching and sorting (68P10)

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

Cited in

(1)

• scientific article; zbMATH DE number 9346 (Why is no real title available?)

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)