Similar Items: Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
- On Berry's conjectures about the stable order in PCF
- On Chollet's Permanent Conjecture for Graph Laplacians
- Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
- Size-4 Counterexamples to the Sidon-Extension Conjecture
- Counterexamples to an Extremal Conjecture for Random Cycle-Factors
- Tameness in least fixed-point logic and McColm's conjecture