GitHub - ConSol-Lab/acp-summer-school-2026: Materials used for the ACP Summer School 2026. This part was for the topic of "Lazy clause generation and beyond"

Name		Name	Last commit message	Last commit date
slides		slides
emir.jpg		emir.jpg
index.md		index.md
modern-constraint-programming-draft-acp-2026.pdf		modern-constraint-programming-draft-acp-2026.pdf

About

Materials used for the ACP Summer School 2026. This part was for the topic of "Lazy clause generation and beyond"

0 stars

0 watching