Mitigation of "Horn Spurs" in a MASH-Based Fractional-N CP-PLL.
Valerio MazzaroMichael Peter KennedyPublished in: IEEE Trans. Circuits Syst. II Express Briefs (2020)
Keyphrases
- constraint programming
- np hard
- hurst exponent
- horn theories
- propositional logic
- fractional order
- risk management
- relational databases
- computer vision
- np complete
- data mining
- database
- computational complexity
- constraint satisfaction problems
- belief revision
- horn clauses
- knowledge compilation
- horn logic
- random sat instances