├── .github └── workflows │ └── jekyll-gh-pages.yml ├── AinaNiemetz-slides.pdf ├── AkihisaYamada-slides.pdf ├── Biere-Shonan23.pdf ├── Fazekas-slides.pdf ├── HiroshiUnno-slides.pptx ├── Introductions.pptx ├── Kobayashi.pdf ├── MasahiroSakai-slides.pdf ├── MathiasPreiner-slides.pdf ├── MutsunoriBanbara-slides.pdf ├── Nina.pdf ├── OliverKullmann.pdf ├── SamBusstalkslides_Challenges_Shonan_2023.pdf ├── Shonan202310-minato.pdf ├── ShonanSeminar_jhjiang.pdf ├── TachioTerauchiTalk.pdf ├── TakehideSoh-slides.pdf ├── VeriPB_Shonan23.pdf ├── VijayGanesh Kochen Specker Full Slides.pptx ├── _config.yml ├── jarvisalo-shonan23.pdf ├── program.md └── stefan.pdf /.github/workflows/jekyll-gh-pages.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/.github/workflows/jekyll-gh-pages.yml -------------------------------------------------------------------------------- /AinaNiemetz-slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/AinaNiemetz-slides.pdf -------------------------------------------------------------------------------- /AkihisaYamada-slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/AkihisaYamada-slides.pdf -------------------------------------------------------------------------------- /Biere-Shonan23.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/Biere-Shonan23.pdf -------------------------------------------------------------------------------- /Fazekas-slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/Fazekas-slides.pdf -------------------------------------------------------------------------------- /HiroshiUnno-slides.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/HiroshiUnno-slides.pptx -------------------------------------------------------------------------------- /Introductions.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/Introductions.pptx -------------------------------------------------------------------------------- /Kobayashi.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/Kobayashi.pdf -------------------------------------------------------------------------------- /MasahiroSakai-slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/MasahiroSakai-slides.pdf -------------------------------------------------------------------------------- /MathiasPreiner-slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/MathiasPreiner-slides.pdf -------------------------------------------------------------------------------- /MutsunoriBanbara-slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/MutsunoriBanbara-slides.pdf -------------------------------------------------------------------------------- /Nina.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/Nina.pdf -------------------------------------------------------------------------------- /OliverKullmann.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/OliverKullmann.pdf -------------------------------------------------------------------------------- /SamBusstalkslides_Challenges_Shonan_2023.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/SamBusstalkslides_Challenges_Shonan_2023.pdf -------------------------------------------------------------------------------- /Shonan202310-minato.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/Shonan202310-minato.pdf -------------------------------------------------------------------------------- /ShonanSeminar_jhjiang.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/ShonanSeminar_jhjiang.pdf -------------------------------------------------------------------------------- /TachioTerauchiTalk.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/TachioTerauchiTalk.pdf -------------------------------------------------------------------------------- /TakehideSoh-slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/TakehideSoh-slides.pdf -------------------------------------------------------------------------------- /VeriPB_Shonan23.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/VeriPB_Shonan23.pdf -------------------------------------------------------------------------------- /VijayGanesh Kochen Specker Full Slides.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/VijayGanesh Kochen Specker Full Slides.pptx -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/_config.yml -------------------------------------------------------------------------------- /jarvisalo-shonan23.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/jarvisalo-shonan23.pdf -------------------------------------------------------------------------------- /program.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/program.md -------------------------------------------------------------------------------- /stefan.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NikolajBjorner/ShonanArtOfSAT/HEAD/stefan.pdf --------------------------------------------------------------------------------