The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Questions tagged [satisfiability]

For questions about the mathematical notion of satisfiability.

Filter by
Sorted by
Tagged with
1
vote
0answers
21 views

Write Constraint Satisfaction Formulation for problem

Given $F_1,F_2,..,F_n$ as set of final exams of subjects taken by students $S_1,..,S_k$ in h slots such that no student takes two exams in a single slot.Here the objective is to maximize the number of ...
1
vote
1answer
57 views

Daily life example of SAT Problem

What would be one good daily life example of SAT problem? I've thought about this one: The problem of placing a bunch of different kinds of glasses in a shared cabinet in such a way that some ...