Login / Signup

An adaptive wide-range Time-to-Digital Converter with flexible resolution for DPLL applications.

Ping LuMinhan ChenShaishav Desai
Published in: MWSCAS (2022)
Keyphrases
  • wide range
  • clause learning
  • data conversion
  • np complete
  • high resolution
  • sat solvers
  • propositional logic
  • neural network
  • real world
  • first order logic
  • knowledge base
  • lightweight
  • digital media
  • sat solving
  • high voltage