×

Found 3 Documents (Results 1–3)

Efficient elimination of redundancies in polyhedra by raytracing. (English) Zbl 1487.90645

Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 367-385 (2017).
MSC:  90C57 52B55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software