Adrian Balint
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The configurable SAT solver challenge (CSSC) Artificial Intelligence | 2017-01-05 | Paper |
| Improving implementation of SLS solvers for SAT and new heuristics for \(k\)-SAT with long clauses Lecture Notes in Computer Science | 2014-09-26 | Paper |
| Choosing probability distributions for stochastic local search and the role of make versus break Theory and Applications of Satisfiability Testing – SAT 2012 | 2013-08-12 | Paper |
| Captain Jack: new variable selection heuristics in local search for SAT Theory and Applications of Satisfiability Testing - SAT 2011 | 2011-06-17 | Paper |
| Improving stochastic local search for SAT with a new probability distribution Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
Research outcomes over time
This page was built for person: Adrian Balint
