×

Found 4 Documents (Results 1–4)

Sharpening constraint programming approaches for bit-vector theory. (English) Zbl 1489.68249

Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 3-20 (2017).
MSC:  68T20 68Q60 68V15
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software