The following pages link to Automated Reasoning (Q5307076):
Displaying 4 items.
- Applying SAT solving in classification of finite algebras (Q862393) (← links)
- Automatic construction and verification of isotopy invariants (Q928664) (← links)
- Mathematical applications of inductive logic programming (Q2433178) (← links)
- Classification results in quasigroup and loop theory via a combination of automated reasoning tools. (Q3568690) (← links)