scientific article; zbMATH DE number 1852952

zbMATH Open1033.68034MaRDI QIDQ4789482FDOQ4789482

Authors A. Niederliński 

Publication date 13 January 2003

zbMATH Keywords

combinatorial optimizationdeclarative programmingPrologconstraint solvingCLPCHIP

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of computing (68Q99)

Recommendations

• A logic language for combinatorial optimization
• A declarative modeling framework that integrates solution methods
• Constraint satisfaction using constraint logic programming
• Propositional calculus problems in CHIP
• Solving large combinatorial problems in logic programming

Cited in

(2)

• Solving large combinatorial problems in logic programming
• A declarative language for the thermal design of regenerative heat exchangers

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 Q4789482)