A formalization of anytime constraint satisfaction

MaRDI QIDQ4217596zbMATH OpenFDO

Authors Hans Werner Guesgen

Publication date 21 June 1999

zbMATH Keywords

anytime algorithms

Mathematics Subject Classification ID

Recommendations

• A synthesis of constraint satisfaction and constraint solving
• Temporal constraint satisfaction problems in fixed-point logic
• The complexity of temporal constraint satisfaction problems
• scientific article; zbMATH DE number 1759715
• A Logical Approach to Constraint Satisfaction
• The logic of constraint satisfaction
• The Time Complexity of Constraint Satisfaction
• Time complexity of constraint satisfaction via universal algebra
• Constraint satisfaction from a deductive viewpoint

Cited in

(1)

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

This page was built for publication: A formalization of anytime constraint satisfaction

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