Linear time-dependent constraints programming with MSVL
DOI10.1007/S10878-012-9551-2zbMATH Open1298.68253OpenAlexW1972480948MaRDI QIDQ2015809FDOQ2015809
Publication date: 24 June 2014
Published in: Journal of Combinatorial Optimization (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10878-012-9551-2
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Approximation methods and heuristics in mathematical programming (90C59) Logic programming (68N17) Temporal logic (03B44)
Cites Work
- The Esterel synchronous programming language: Design, semantics, implementation
- Maintaining knowledge about temporal intervals
- Temporal constraint networks
- Title not available (Why is that?)
- Title not available (Why is that?)
- Timed default concurrent constraint programming
- Constraint satisfaction problems: Algorithms and applications
- The generalized simplex method for minimizing a linear form under linear inequality restraints
- Framed temporal logic programming
- A cylinder computation model for many-core parallel computing
- Operational semantics of Framed Tempura
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unconditional secure communication: a Russian cards protocol
- Combining qualitative and quantitative constraints in temporal reasoning
- Temporal annotated constraint logic programming
- Axiomatic semantics of projection temporal logic programs
- Programming in metric temporal logic
- Computing with continuous change
- Title not available (Why is that?)
Uses Software
This page was built for publication: Linear time-dependent constraints programming with MSVL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2015809)
