Adrian Balint

Available identifiers

zbMath Open balint.adrianMaRDI QIDQ502387

List of research outcomes

Publication	Date of Publication	Type
The configurable SAT solver challenge (CSSC)	2017-01-05	Paper
Improving implementation of SLS solvers for SAT and new heuristics for \(k\)-SAT with long clauses	2014-09-26	Paper
Choosing probability distributions for stochastic local search and the role of make versus break	2013-08-12	Paper
Captain Jack: new variable selection heuristics in local search for SAT	2011-06-17	Paper
Improving stochastic local search for SAT with a new probability distribution	2010-09-29	Paper

Research outcomes over time

This page was built for person: Adrian Balint