GitHub - NikolajBjorner/ShonanArtOfSAT: Schedule for ArtOfSAT

Name		Name	Last commit message	Last commit date
Latest commit History 95 Commits
.github/workflows		.github/workflows
AinaNiemetz-slides.pdf		AinaNiemetz-slides.pdf
AkihisaYamada-slides.pdf		AkihisaYamada-slides.pdf
Biere-Shonan23.pdf		Biere-Shonan23.pdf
Fazekas-slides.pdf		Fazekas-slides.pdf
HiroshiUnno-slides.pptx		HiroshiUnno-slides.pptx
Introductions.pptx		Introductions.pptx
Kobayashi.pdf		Kobayashi.pdf
MasahiroSakai-slides.pdf		MasahiroSakai-slides.pdf
MathiasPreiner-slides.pdf		MathiasPreiner-slides.pdf
MutsunoriBanbara-slides.pdf		MutsunoriBanbara-slides.pdf
Nina.pdf		Nina.pdf
OliverKullmann.pdf		OliverKullmann.pdf
SamBusstalkslides_Challenges_Shonan_2023.pdf		SamBusstalkslides_Challenges_Shonan_2023.pdf
Shonan202310-minato.pdf		Shonan202310-minato.pdf
ShonanSeminar_jhjiang.pdf		ShonanSeminar_jhjiang.pdf
TachioTerauchiTalk.pdf		TachioTerauchiTalk.pdf
TakehideSoh-slides.pdf		TakehideSoh-slides.pdf
VeriPB_Shonan23.pdf		VeriPB_Shonan23.pdf
VijayGanesh Kochen Specker Full Slides.pptx		VijayGanesh Kochen Specker Full Slides.pptx
_config.yml		_config.yml
jarvisalo-shonan23.pdf		jarvisalo-shonan23.pdf
program.md		program.md
stefan.pdf		stefan.pdf