Automatic synthesis of constraints from examples using mixed integer linear programming

DOI10.1016/J.EJOR.2017.02.034MaRDI QIDQ1753666zbMATH OpenOpenAlexFDO

Authors Tomasz P. Pawlak, Krzysztof Krawiec

Publication date 29 May 2018

Published in European Journal of Operational Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ejor.2017.02.034

zbMATH Keywords

artificial intelligencemodel generationconstraint learningmodel inductionconstraint acquisition

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10) Mixed integer programming (90C11)

Recommendations

• Efficient program synthesis using constraint satisfaction in inductive logic programming
• Constraint solver synthesis using tabled resolution for constraint logic programming
• Counterexample guided inductive synthesis modulo theories
• Hybrid constraints in automated model synthesis and model processing
• Modular synthesis of sketches using models

Cites work

• scientific article; zbMATH DE number 6108474 (Why is no real title available?)
• Deep learning
• Machine learning. The art and science of algorithms that make sense of data.
• Structured learning modulo theories

Cited in

(14)

• Using finite transducers for describing and synthesising structural time-series constraints
• A statistical approach to learning constraints
• Classifier-based constraint acquisition
• Constraint programming based Lagrangian relaxation for the automatic recording problem
• Constrained image generation using binarized neural networks with decision procedures
• Learning constraints through partial queries
• Data-driven optimization model customization
• Ellipsoidal one-class constraint acquisition for quadratically constrained programming
• Hybrid constraints in automated model synthesis and model processing
• Continuous discovery of causal nets for non-stationary business processes using the Online Miner
• \textsc{Ner4Opt}: named entity recognition for optimization modelling from natural language
• Learning MAX-SAT from contextual examples for combinatorial optimisation
• Constraint learning: an appetizer
• Efficient program synthesis using constraint satisfaction in inductive logic programming

Describes a project that uses

Uses Software

• Gurobi

This page was built for publication: Automatic synthesis of constraints from examples using mixed integer linear programming

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