scientific article; zbMATH DE number 5182607
From MaRDI portal
Publication:5757090
zbMATH Open1117.90050MaRDI QIDQ5757090
Publication date: 24 August 2007
Title of this publication is not available (Why is that?)
Analysis of algorithms (68W40) Formal languages and automata (68Q45) Special problems of linear programming (transportation, multi-index, data envelopment analysis, etc.) (90C08) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
- Solving systems of difference constraints incrementally π π
- Some challenges for constraint programming π π
- Optimizing general chain programs π π
- Constraint Programming π π
- Theory and Applications of Models of Computation π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5757090)