Tensor Network Rewriting Strategies for Satisfiability and Counting.

Niel de Beaudrap Aleks Kissinger Konstantinos Meichanetzidis

Published in: QPL (2020)

Keyphrases

network model
peer to peer
higher order
complex networks
network management
wireless sensor networks
high order
online auctions
model checking
computer networks
community structure
communication networks
phase transition
satisfiability problem