Polsat: A Portfolio LTL Satisfiability Solver.
Jianwen LiGeguang PuLijun ZhangYinbo YaoMoshe Y. VardiJifeng HePublished in: CoRR (2013)
Keyphrases
- quantified boolean formulas
- bounded model checking
- boolean formula
- temporal logic
- satisfiability problem
- model checking
- sat solving
- linear temporal logic
- decision making
- np complete
- propositional logic
- sat problem
- formal verification
- portfolio selection
- computational complexity
- decision procedures
- practical problems
- clause learning
- unit propagation
- linear time temporal logic
- portfolio optimization
- constraint solver
- market data
- deterministic automata
- symmetry breaking
- portfolio management
- phase transition
- first order logic
- np hard