Login / Signup

A Contraction Tree SAT Encoding for Computing Twin-Width.

Yinon HorevShiraz ShaySarel CohenTobias FriedrichDavis IssacLior KammaAikaterini NiklanovitsKirill Simonov
Published in: PAKDD (2) (2024)
Keyphrases
  • sat encodings
  • pseudo boolean constraints
  • belief revision
  • b tree
  • upper bound
  • simulated annealing
  • tree search