Solving systems of difference constraints incrementally
From MaRDI portal
Recommendations
Cited in
(13)- Integrating answer set programming and constraint logic programming
- Depth-first discovery algorithm for incremental topological sorting of directed acyclic graphs
- Solving systems of difference constraints incrementally with bidirectional search
- Improved algorithms for optimal length resolution refutation in difference constraint systems
- The Linear Complementarity Problems with a Few Variables per Constraint
- An ASP-based solver for parametrized-difference revision
- Planning wireless networks by shortest path
- scientific article; zbMATH DE number 5182607 (Why is no real title available?)
- Theory and Applications of Models of Computation
- A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form
- Incremental constraint deletion in systems of linear constraints
- On approximating optimal weight ``no-certificates in weighted difference constraint systems
- Maintaining longest paths incrementally
This page was built for publication: Solving systems of difference constraints incrementally
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1283935)