A Ihara-Bass Formula for Non-Boolean Matrices and Strong Refutations of Random CSPs.
Tommaso d'OrsiLuca TrevisanPublished in: CoRR (2022)
Keyphrases
- zeta function
- constraint satisfaction problems
- conjunctive normal form
- boolean functions
- randomly generated
- constraint propagation
- constraint satisfaction
- singular value decomposition
- arc consistency
- sat problem
- decision diagrams
- boolean formula
- theorem prover
- symmetry breaking
- tree decomposition
- boolean queries
- search space
- constraint problems
- constraint networks
- random instances
- random sat
- phase transition
- binary csps