Your search for: 'author:("Van Gelder, Allen")' has returned 2 results. (0.006s) Save search

Authors: Van Gelder, Allen

Article Type: Research Article

Abstract: The SAT solver Contrasat is a small variation of the well-established Minisat solver. It was entered in the Minisat hack track of the 2011 SAT competition, and was judged to be first place in one category. This paper describes the code change and its motivation. The characterization as “contrarian” is explained. Experimental results are summarized.

Keywords: SAT solver, CDCL, Minisat, volunteer, Contrasat

DOI: 10.3233/SAT190093

Citation: Journal on Satisfiability, Boolean Modeling and Computation, vol. 8, no. 3-4, pp. 117-122, 2012

Authors: Janota, Mikoláš | Jordan, Charles | Klieber, Will | Lonsing, Florian | Seidl, Martina | Van Gelder, Allen

Article Type: Research Article

Abstract: The QBF Gallery 2014 was a competitive evaluation for QBF solvers organized as part of the FLoC 2014 Olympic Games during the Vienna Summer of Logic. The QBF Gallery 2014 featured three different tracks on formulas in prenex conjunctive normal form (PCNF) including more than 1200 formulas to be solved. Gold, silver, and bronze track medals were awarded to the solvers that solved the most formulas in each of the three tracks. Additionally, the three participants that were most successful over the complete benchmark set were awarded with Kurt Gödel medals, the official prizes of the FLoC 2014 Olympic Games. …In this paper, we give an overview of the setup and rules of the competition, briefly review the participating solvers, and finally report on the results of the QBF Gallery 2014. Show more

Keywords: Quantified Boolean formulas, QBF solving, QBF competition

DOI: 10.3233/SAT190108

Citation: Journal on Satisfiability, Boolean Modeling and Computation, vol. 9, no. 1, pp. 187-206, 2014