Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. Wombit: a portfolio bit-vector solver using word-level propagation. (English) Zbl 07100461 J. Autom. Reasoning 63, No. 3, 723-762 (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{W. Wang} et al., J. Autom. Reasoning 63, No. 3, 723--762 (2019; Zbl 07100461) Full Text: DOI
Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale Proof-guided test selection from first-order specifications with equality. (English) Zbl 1214.68221 J. Autom. Reasoning 45, No. 4, 437-473 (2010). MSC: 68Q60 PDF BibTeX XML Cite \textit{D. Longuet} et al., J. Autom. Reasoning 45, No. 4, 437--473 (2010; Zbl 1214.68221) Full Text: DOI