Author:
Heule Marijn J. H.,Kullmann Oliver,Biere Armin
Publisher
Springer International Publishing
Reference38 articles.
1. Tanbir Ahmed, Oliver Kullmann, and Hunter Snevily. On the van der Waerden numbers w(2;3; t). Discrete Applied Mathematics, 174:27–51, September 2014.
2. Fahiem Bacchus. Enhancing Davis Putnam with extended binary clause reasoning. In AAAI 2002, pages 613–619, 2002.
3. Armin Biere. PicoSAT essentials. JSAT, 4(2-4):75–97, 2008.
4. Armin Biere. Bounded model checking. In Biere et al. [6], chapter 14, pages 455–481.
5. Armin Biere. Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT race 2010. 2010.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献