SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications.
Longlong LuWenhua YangMinxue PanTian ZhangPublished in: Internetware (2020)
Keyphrases
- linear programming
- sat solvers
- satisfiability problem
- formal specification
- linear program
- boolean satisfiability
- search strategies
- propositional satisfiability
- sat problem
- goal oriented
- multi user
- optimal solution
- collaborative learning
- special case
- search algorithm
- knowledge sharing
- logic programs
- np hard
- specification language