After a long absence from Satisfiability research, we re-enter the field from the point of view of empirical algorithmics (see e.g. http://www.cs.ubc.ca/~hutter/EARG.shtml).

This paper explains Superresolution in the form of a transition system. The presentation is different, but the concept is still the same as in 1977.

@TECHREPORT{SuperP-optimal:Jan-07, AUTHOR = "Ahmed Abdelmeged and Christine D. Hang and Daniel Rinehart and Karl J. Lieberherr", TITLE = "{Superresolution and P-Optimality in Boolean MAX-CSP Solvers}", INSTITUTION = "Northeastern University", YEAR = 2007, MONTH = "January", NUMBER = "NU-CCIS-07-01" }

RelationTable gives details of how the compact representation works for rank 3. Table produced by Ahmed Abdelmeged.

256 Look-Ahead Polynomials for rank 3. The assignment N is all false. Equivalent to the 256 appmean polynomials for rank 3. On the horizontal axis 0.5 corresponds to 0 and 10.5 corresponds to 1. Produced by Ahmed Abdelmeged.