Sign in
Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability.
Takahisa Toda
Takehiro Ito
Jun Kawahara
Takehide Soh
Akira Suzuki
Junichi Teruyama
Published in:
ICTAI (2023)
Keyphrases
</>
boolean satisfiability
sat solving
boolean optimization
probabilistic planning
first order logic
weighted graph
sat instances
integer linear programming
combinatorial optimization
randomly generated
decision problems
sat solvers
boolean formula
random sat instances