this is a new/advanced paper on OR and AND compression of SAT formulas, a newer area of research that seems not covered in any textbooks so far.
can follow it generally, but not in detail. so:
how would this theory be described to undergraduates if possible?
looking for sketches, overview and/or some examples and intuition on this line of research from expert(s) of the kind that might appear in an undergrad textbook. also does it have any implication on P=?NP?