×

Found 3 Documents (Results 1–3)

100
MathJax

SAT-based Horn least upper bounds. (English) Zbl 1471.68256

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, 423-433 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Classification

all top 3

Software