Relating planar graph drawings to planar satisfiability problems.

Md. Manzurul Hasan Debajyoti Mondal Md. Saidur Rahman

Published in: Inf. Process. Lett. (2024)

Keyphrases

planar graphs
satisfiability problem
np complete
search algorithm
temporal logic
phase transition
sat problem
stochastic local search
probabilistic model
branch and bound
weighted graph
state space
model checking
bipartite graph
undirected graph
minimum weight