The following problem is considered: given a Boolean formula f, generate another formula g such that: (i) If f is unsatisfiable then g is also unsatisfiable. (ii) If f is satisfiable then g is alsoâ€¦ (More)

Backgrounds and Motivations. Conventional complexity theory gives us only asymptotic information and does not give us any information about the complexity of each individual instance. It is alsoâ€¦ (More)