Local optima network analysis for MAX-SAT.
Gabriela OchoaFrancisco ChicanoPublished in: GECCO (Companion) (2019)
Keyphrases
- network analysis
- max sat
- weighted max sat
- social network analysis
- lower bound
- branch and bound algorithm
- sat solvers
- tabu search
- complex networks
- optimal solution
- search algorithm
- branch and bound
- satisfiability problem
- network structure
- evolutionary algorithm
- link prediction
- text mining
- sat problem
- information networks
- maximum satisfiability
- max sat solver
- constraint satisfaction
- community structure
- linear programming
- boolean satisfiability
- np hard
- graph theory
- random walk
- cnf formula
- simulated annealing
- upper bound
- boolean formula
- artificial intelligence
- information retrieval