There are three chairs (1,2,3) in the same row. We need to find a seat for three guests (a,b,c).
The first guest does not want to be seated next to the third one (neither left nor right).
The first guest does not want to be placed on the leftmost chair.
The second guest does not want to be seated on the right side of the third.
How would this translate to propositional logic? I have difficulties coming out with a solution because all the models I've seen did not have these constraints that depend on two inputs. The end goal is to solve this problem by using a SAT solver.