Login / Signup

SAT-Based Generation of Planar Graphs.

Markus KirchwegerManfred ScheucherStefan Szeider
Published in: SAT (2023)
Keyphrases
  • planar graphs
  • special case
  • linear programming
  • approximate inference
  • pairwise
  • graphical models