Mladen Nikolić

Publications

Software

Software

• ArgoSmart k-NN — simple algorithm portfolio for SAT
• ArgoSmart — classification based algorithm portfolio for SAT (based on SAT'09 paper)
• Neighbor matching method for graph similarity scoring
• Program similarity computation by Neighbor matching