×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [hard clauses]
Home >
hard clauses
Inference. Overview The MC-SAT algorithm Knowledge-based model construction Lazy inference Lifted inference.
220 views
Triple Patterning Aware Detailed Placement With Constrained Pattern Assignment Haitong Tian, Yuelin Du, Hongbo Zhang, Zigang Xiao, Martin D.F. Wong.
222 views