Towards a constraint-based engineering framework for algorithm design and application

DOI10.1023/A:1009719616574zbMATH Open1315.68109OpenAlexW2175137007MaRDI QIDQ2348613FDOQ2348613

Authors: Simon Kasif 

Publication date: 15 June 2015

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009719616574

Recommendations

• Algorithms and Constraint Programming
• From LP to LP: Programming with constraints
• A survey of constraint-based programming paradigms
• Programming constraint services. High-level programming of standard and new constraint services
• scientific article; zbMATH DE number 2156267

zbMATH Keywords

constraintsefficient algorithmsprogram synthesis

Mathematics Subject Classification ID

Theory of software (68N99) General topics in the theory of algorithms (68W01)

Cited In (1)

• Problem identification using program checking

This page was built for publication: Towards a constraint-based engineering framework for algorithm design and application

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