Applications of QBF

• Games

• Conditional Planning

  • formulate plans which have an ëopponentí,

    • e.g. unforeseeable events

• Hardware Verification

  • you tell me about that !

Previous slide

Next slide

Back to first slide

View graphic version