Effectively Propositional Logic (EPR), also known as the Bernays-Schoenfinkel class, allows encoding problems that are propositional in nature, but EPR encodings can be exponentially more succinct ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback