All Questions
Tagged with sat problem-solving
1 question
1
vote
1
answer
255
views
Is it possible to find UNSATisfiable solutions to a SAT problem with a SAT problem?
I'm working with several problems, which can have special unsatisfiable configurations.
For example, consider the simple function $f(x,y)=x+y+2$ with $n$-bit unsigned inputs and $(n+2)$-bit unsigned ...
- 11