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

DOI10.1023/A:1009719616574MaRDI QIDQ2348613zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

constraintsefficient algorithmsprogram synthesis

Mathematics Subject Classification ID

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

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

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)