Lecture 6 - Satisfiability Problem Flashcards by michal wozniak

Q

What is the abbreviation?

A

SAT

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is the instance of this problem?

A

boolean expression B in conjective normal form

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is the question?

A

can the boolean expressions be satisfied?

How well did you know this?

1

Not at all

2

3

4

5

Perfectly