KBO Constraint Solving Revisited

DOI10.1007/978-3-031-43369-6_5MaRDI QIDQ6496621

Hendrik Leidinger, Christoph Weidenbach, Unnamed Author

Publication date: 3 May 2024

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites Work

• Orienting rewrite rules with the Knuth-Bendix order.
• SCL(EQ): SCL for first-order logic with equality
• Deciding the Bernays-Schoenfinkel fragment over bounded difference constraints by simple clause learning over theories
• Congruence classes with logic variables
• Deciding Combinations of Theories
• Fast Decision Procedures Based on Congruence Closure
• Variations on the Common Subexpression Problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: KBO Constraint Solving Revisited