scientific article; zbMATH DE number 1213132

MaRDI QIDQ4216092zbMATH OpenFDO

Authors Alexander Nareyek

Publication date 19 October 1998

zbMATH Keywords

constraint solverdisjunctive constraintslogic programming

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Backtracking algorithms for disjunctions of temporal constraints
• Implementing logical connectives in constraint programming
• scientific article; zbMATH DE number 1114458
• Principles and Practice of Constraint Programming – CP 2004

Cited in

(9)

• Disjunctive Programs with Set Constraints
• Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints
• scientific article; zbMATH DE number 4046981 (Why is no real title available?)
• scientific article; zbMATH DE number 512884 (Why is no real title available?)
• Disjunctive answer set solvers via templates
• scientific article; zbMATH DE number 2096835 (Why is no real title available?)
• scientific article; zbMATH DE number 7301717 (Why is no real title available?)
• Generic multiset programming with discrimination-based joins and symbolic Cartesian products
• An incremental algorithm for computing ranked full disjunctions

This page was built for publication:

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