Stas Busygin's Home Page
- A Least Squares Framework for the Maximum Weight Clique Problem, 2002-2007.
- A New Trust Region Technique for the Maximum Weight Clique Problem,
Discrete Applied Mathematics 154(15) (International Symposium on Combinatorial Optimization CO'02),
pp. 2080-2096, 2006.
- On NP-hardness of the clique partition -- independence number gap recognition and
related problems, Discrete Mathematics 304(4), pp. 460-463, 2006
(with D.V. Pasechnik, see also ECCC Report TR03-052).
- The SAT01 framework for NP problems, 2003.
- A Simple Clique Camouflaging Against Greedy Maximum Clique Heuristics, 2002.
- QUALEX-MS: QUick ALmost EXact Maximum Weight
Clique/Independent Set Solver based on the Motzkin-Straus QP formulation.
Here is 80 DIMACS graphs
on which the algorithm was tested.
- SAT01 solver: An NP-complete problem solver with sample
converters for factoring problem. No, it's not another P=NP attempt, but a handy formulation to convert
NP-complete problems meant to replace CNF SAT.
computes the (weighted) Lovasz number (theta function) of a graph given in the text or binary
- JacMat: Jacobson-Matthews random Latin square generator.
- AntiSM: generator of graphs hard for greedy maximum
clique heuristics (described in this paper.)
I am a US National Master in chess.
This website is intentionally maintained in Web 1.0 form because the default HTML look is pretty enough and scripts
create more problems than solutions.
Stas Busygin <email@example.com>
Last update 11/29/2019