×

Found 15 Documents (Results 1–15)

The satisfiability problem for Boolean set theory with a choice correspondence. (English) Zbl 1483.03029

Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 61-75 (2017).
PDFBibTeX XMLCite
Full Text: arXiv Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software