In pursuit of the Holy Grail

DOI10.1023/A:1009749006768MaRDI QIDQ2348611zbMATH OpenOpenAlexFDO

Authors Eugene C. Freuder

Publication date 15 June 2015

Published in Constraints (Search for Journal in Brave)

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

zbMATH Keywords

constraint programmingconstraint satisfactiondeclarative programming

Mathematics Subject Classification ID

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

Cited in

(7)

• Progress towards the Holy Grail
• Semiring programming: a semantic framework for generalized sum product problems
• Automatic generation of dominance breaking nogoods for a class of constraint optimization problems
• Automatic error function learning with interpretable compositional networks
• Domain-independent dynamic programming
• Machine learning for constraint-based configuration: a survey
• Reformulating table constraints using functional dependencies-an application to explanation generation

This page was built for publication: In pursuit of the Holy Grail

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