Maximum Satisfiability of Mission-Time Linear Temporal Logic.
Gokul HariharanPhillip H. JonesKristin Yvonne RozierTichakorn WongpiromsarnPublished in: FORMATS (2023)
Keyphrases
- linear temporal logic
- maximum satisfiability
- boolean satisfiability
- max sat
- temporal logic
- model checking
- sat problem
- combinatorial problems
- satisfiability problem
- branch and bound algorithm
- sat solvers
- randomly generated
- integer linear programming
- constraint programming
- global constraints
- search algorithm
- phase transition
- constraint satisfaction
- lower bound