×

Found 4 Documents (Results 1–4)

Towards a compact SAT-based encoding of itemset mining tasks. (English) Zbl 07493628

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, 163-178 (2021).
MSC:  68T20 90C27
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software