Search

Browse

My Account

Usage Statistics

Discover

  • Author

    • Meier, Arne (1)
    • Ordyniak, Sebastian (1)
    • Schindler, Irena (1)
    • Sridharan, Ramanujan (1)
  • Subject

    • Backdoor detections (1)
    • Backdoor sets (1)
    • Backdoors (1)
    • Computer circuits (1)
    • Formal logic (1)
    • Horn formulas (1)
    • Linear temporal logic (1)
    • Parameter estimation (1)
    • Parameterization (1)
    • Parameterized (1)
    • ... View More
  • Date Issued

    • 2017 (1)
  • Language (ISO)

    • eng (1)