scientific article; zbMATH DE number 1852952

zbMATH Open1033.68034MaRDI QIDQ4789482FDOQ4789482

A. Niederliński

Publication date: 13 January 2003

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

combinatorial optimizationdeclarative programmingPrologconstraint solvingCLPCHIP

Mathematics Subject Classification ID

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

Cited In (2)

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

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)