×

Found 14 Documents (Results 1–14)

Improving the filtering of branch-and-bound MDD solver. (English) Zbl 07493632

Stuckey, Peter J. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 18th international conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12735, 231-247 (2021).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI arXiv

On finding the optimal BDD relaxation. (English) Zbl 1489.68248

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, 41-50 (2017).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software