×

Found 244 Documents (Results 1–100)

Learning a propagation complete formula. (English) Zbl 1522.68468

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 214-231 (2022).
MSC:  68T05 68T20
PDFBibTeX XMLCite
Full Text: DOI

An introduction to Lorenzen’s ”Algebraic and logistic investigations on free lattices” (1951). arXiv:1711.06139

Preprint, arXiv:1711.06139 [math.LO] (2017).
BibTeX Cite
Full Text: arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Software