Pages that link to "Item:Q862393"

The following pages link to Applying SAT solving in classification of finite algebras (Q862393):

Displaying 2 items.

• Automatic construction and verification of isotopy invariants (Q928664) (← links)
• Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)