SATISFIABILITY (MATHEMATICS)
  • BT
    ALGORITHMIC COMPLEXITY (MATHEMATICS)
  • UDC
    510.52,2
  • Descriptor GER
    ERFÜLLBARKEIT (MATHEMATIK)
  • Descriptor ENG
    SATISFIABILITY (MATHEMATICS)
  • Descriptor FRE
    VALIDABILITÉ (MATHÉMATIQUES)
  • Variant GER
    SATISFIABILITY (MATHEMATIK)
Contact
·
Last data import from Alma: 1 January 2025