Constraint solving for term orderings compatible with abelian semigroups, monoids and groups

DOI10.1023/B:CONS.0000036021.31386.cczbMath1074.68058OpenAlexW2049395160MaRDI QIDQ1768746

Robert Nieuwenhuis, Guillem Godoy

Publication date: 15 March 2005

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:cons.0000036021.31386.cc

zbMATH Keywords

automated deductionbuilt-in theoriesterm orderingssymbolic constraints

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Constraint solving for term orderings compatible with abelian semigroups, monoids and groups