Inference. Overview The MC-SAT algorithm Knowledge-based model construction Lazy inference Lifted inference.
Triple Patterning Aware Detailed Placement With Constrained Pattern Assignment Haitong Tian, Yuelin Du, Hongbo Zhang, Zigang Xiao, Martin D.F. Wong.