PN code acquisition using Boolean satisfiability techniques.
Fadi A. AloulMohamed G. El-TarhuniPublished in: WCNC (2009)
Keyphrases
- boolean satisfiability
- probabilistic planning
- sat solvers
- branch and bound algorithm
- boolean optimization
- sat problem
- sat solving
- symmetry breaking
- integer linear programming
- randomly generated
- maximum satisfiability
- petri net
- combinatorial problems
- boolean formula
- upper bound
- random sat instances
- max sat
- propositional satisfiability
- orders of magnitude
- branch and bound
- search space
- constraint programming
- phase transition