Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Homing Sequence Derivation with Quantified Boolean Satisfiability. | 2 | 0.37 | 2017 |
| QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving. | 8 | 0.49 | 2015 |
| Synthesis of feedback decoders for initialized encoders | 1 | 0.35 | 2013 |