Search

Displaying 1 - 3 of 3

Local techniques in quadratic optimization and Satisfiability, and their applications

Author: Wang, Cong

Date created: 2014-08-22

Algorithms and Lower Bounds in Circuit Complexity

Author: Lu, Zhenjian

Date created: 2020-10-13

Theoretical analysis of practical heuristics for satisfiability

Author: Skvortsov, Evgeny Sergeevich

Date created: 2009