scientific article; zbMATH DE number 1405617
From MaRDI portal
Publication:4938596
zbMATH Open0943.68087MaRDI QIDQ4938596FDOQ4938596
Robert Nieuwenhuis, José Miguel Rivero
Publication date: 23 February 2000
Title of this publication is not available (Why is that?)
Recommendations
- Practical algorithms for deciding path ordering constraint satisfaction.
- Solving simplification ordering constraints
- SOLVING SYMBOLIC ORDERING CONSTRAINTS
- Ordered Solutions for Dynamic Programs
- Formal-Language-Constrained Path Problems
- Formal language constrained path problems
- scientific article; zbMATH DE number 2084756
- scientific article; zbMATH DE number 1962829
- Optimal ordered problem solver
Cited In (6)
- Practical algorithms for deciding path ordering constraint satisfaction.
- Stratified resolution
- Constraint solving for term orderings compatible with abelian semigroups, monoids and groups
- Superposition-based equality handling for analytic tableaux
- Solving simplification ordering constraints
- SOLVING SYMBOLIC ORDERING CONSTRAINTS
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 Q4938596)
