×

Found 4 Documents (Results 1–4)

A new acceleration-based combination framework for array properties. (English) Zbl 1471.68232

Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 169-185 (2015).
MSC:  68T20 03B25
PDFBibTeX XMLCite
Full Text: DOI

Search-space partitioning for parallelizing SMT solvers. (English) Zbl 1471.68244

Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 369-386 (2015).
MSC:  68T20 68V15 68W10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software