Skiena algorithm 2007 lecture20 satisfiability
leanCoR: lean Connection-based DL Reasoner
Proving Lower Bounds on Graph Drawing Problems Rajat Anantharam Department of Gaming and Media Technology Utrecht University.
Endre Szemerédi & TCS Avi Wigderson IAS, Princeton.
EMIS 8373: Integer Programming NP-Complete Problems updated 21 April 2009.
Inference
Endre Szemerédi & TCS