Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference96 articles.
1. Alur R, Bodik R, Juniwal G, Martin Milo MK, Raghothaman M, Seshia SA, Singh R, Solar-Lezama A, Torlak E, Udupa A (2013) Syntax-guided synthesis. In: Proceedings of the IEEE international conference on formal methods in computer-aided design (FMCAD), pp 1–17
2. Abate A, David C, Kesseli P, Kroening D, Polgreen E (2018) Counterexample guided inductive synthesis modulo theories. In: Computer aided verification-30th international conference (CAV), volume 10981 of Lecture Notes in Computer Science, pp 270–288. Springer
3. Atserias A, Fichte JK, Thurley M (2009) Clause-learning algorithms with many restarts and bounded-width resolution. In: Kullmann O (ed) Theory and Applications of Satisfiability Testing - SAT. Springer, Berlin Heidelberg, Berlin, Heidelberg, pp 114–127
4. Angluin D (1988) Queries and concept learning. Mach Learn 2(4):319–342
5. Audemard Gilles, Simon Laurent (2013) Glucose 2.3 in the SAT 2013 Competition. In: Proceedings of SAT competition 2013, pp 42–43