scientific article; zbMATH DE number 3952479
From MaRDI portal
Publication:3722253
Recommendations
- scientific article; zbMATH DE number 1270451
- scientific article; zbMATH DE number 4087439
- A practical unification algorithm
- A practically efficient and almost linear unification algorithm
- Publication:3204025
- Reflections on multivariate algorithmics and problem parameterization
- Combining unification algorithms
- scientific article; zbMATH DE number 4037063
- Algorithms and Computation
- Algorithm unions for solving discrete optimization problems
Cited in
(4)
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 Q3722253)