UNB
/
CS
/
David Bremner
/
teaching
/
cs3383
/
lectures
/ Unit 5: Combinatorial Search
RecentChanges
videos
Pre-lecture 0
pre lecture 1
slides
Pre-lecture 0
lecture 0
pre lecture 1
lecture 1
demos
N queens
unit propagation
subset sum
sat
sat with unit propagation