Blogs (19) >>
Sat 18 Mar 2023 09:45 - 10:30 at Online Posters - Online Posters 2 Chair(s): Meghan Allen, Jennifer Campbell

Knot mosaics are combinatorial representations of mathematical knots. Boolean satisfiability (SAT) is an important NP-complete problem, and SAT solvers are practical software implementations to solve SAT problems. SAT solvers are rarely used in undergraduate classes, and the learning curve for SAT is steep. For our contribution, we developed a lecture and a homework assignment for undergraduate students to work with SAT formulas, to draw knot mosaics, and to run SAT solvers for counting knot mosaics. The assignment has been developed over three semesters. The assignment includes a skeleton Python encoding with over 750 lines of Python code and function documentation. We surveyed the students about their experiences with and perceptions of the assignment as well as their comments for improving the assignment. On the survey, students overwhelmingly agreed that they learned about SAT and knots, and the students earned high grades on the assignment, showing that their perception of learning was true. Our future work includes clarifying one of the assignment problems where students struggled.

Sat 18 Mar

Displayed time zone: Eastern Time (US & Canada) change

09:45 - 10:30
Online Posters 2Posters at Online Posters
Chair(s): Meghan Allen University of British Columbia, Jennifer Campbell University of Toronto
09:45
45m
Poster
Using Student and Teacher Feedback to Modify CS CurriculumOnlineK12
Posters
DOI
09:45
45m
Poster
Teaching an undergraduate 5G technology and security course and its outcomesOnline
Posters
Veena Ravishankar University of Mary Washington, Andrew M. Marshall University of Mary Washington
DOI
09:45
45m
Poster
Teaching Graph Algorithms using Tower of Hanoi and its VariantsOnline
Posters
Xi Chen Utah Valley University, Jingsai Liang Westminster College
DOI
09:45
45m
Poster
Hack The Problem: A Problem-Based Learning Approach for Ethical Hacking and Network Defense CurriculumOnline
Posters
Sajal Bhatia Sacred Heart University, Saaid Elhadad Sacred Heart University, Abhiraj Deshmukh Sacred Heart University, Mukesh K Yellela Sacred Heart University, Om Vangala Sacred Heart University
DOI
09:45
45m
Poster
CSLINC - Development of a National Outreach VLEGlobalOnline
Posters
Keith Nolan TU Dublin, Keith Quille TUDublin Ireland
DOI
09:45
45m
Poster
Authentic Learning on Machine Learning for CybersecurityOnlineK12
Posters
Dan Lo Kennesaw State University, Hossain Shahriar Kennesaw State University, Kai Qian Kennesaw State University, Michael Whitman Kennesaw State University, Fan Wu Tuskegee University, Cassandra Thomas Tuskegee University
DOI
09:45
45m
Poster
"I Dance Too": Girls Identity Reflections with a Social RobotOnlineK12
Posters
Zhen Wu Computer Science Department, University of Pittsburgh, Amanda Buddemeyer Learning Research & Development Center and School of Computing and Information, University of Pittsburgh, Erin Walker University of Pittsburgh, Angela Stewart Computer Science Department, University of Pittsburgh
DOI
09:45
45m
Poster
Designing a Computational Action Program to Tackle Global ChallengesOnline
Posters
Xiaoxue Du MIT Media Lab, Robert Parks Massachusetts Institute of Technology, Selim Tezel Massachusetts Institute of Technology, Jeff Freilich Massachusetts Institute of Technology, Nicole Pang Massachusetts Institute of Technology, Hal Abelson Massachusetts Institute of Technology, Cynthia Breazeal Massachusetts Institute of Technology
DOI
09:45
45m
Poster
Using Knot Mosaics to Introduce Undergraduates to SATOnline
Posters
Hannah Miller Rochester Institute of Technology
DOI
09:45
45m
Poster
Implementing Culturally Responsive Coding Projects with Indigenous CommunitiesOnlineK12
Posters
Kathryn M. Rich American Institutes for Research, Jill Bowdon American Institutes for Research, Marissa Spang American Institutes for Research
DOI
09:45
45m
Poster
Designing Integrated Math + CT activities to Promote Sensemaking about Place Value in Grades K-2OnlineK12
Posters
Mai Dahshan University of North Florida, Terrie Galanti University of North Florida
DOI
09:45
45m
Poster
Metacognitive Processes and Program ComprehensionGlobalOnlineK12
Posters
Sophie Blouin Dalhousie University, Bridget Solomon Dalhousie University, Brent Crane Dalhousie University, David Dempsey Dalhousie University, Angela Siegel Dalhousie University, Eric Poitras Dalhousie University
DOI
09:45
45m
Poster
“Discover AI in Daily Life”: An AI Literacy Lesson for Middle School StudentsOnlineK12
Posters
Allison Woodruff Google, Annica Voneche Google, Kelly Thunstrom Synergis, Reena Jana Google, Rebecca Hardy Google, Derek Aoki Bullis Charter School, Patrick Gage Kelley Google
DOI
09:45
45m
Poster
Collaborative and Active Learning with Portable Online Hands-on Labware for Blockchain DevelopmentOnlineK12
Posters
Yong Shi Kennesaw State University, Hossain Shahriar Kennesaw State University, Dan Lo Kennesaw State University, Kai Qian Kennesaw State University, Hongmei Chi Florida A&M University
DOI
09:45
45m
Poster
Interpreting Traces: Studying Misconceptions of Control Flow StatementsGlobalOnlineK12
Posters
Evgeny Fomichev Volgograd State Technical University, Elena Berisheva Volgograd State Technical University, Alexander Dvoryankin Volgograd State Technical University, Oleg Sychev Volgograd State Technical University
DOI
09:45
45m
Poster
How Youth Connect Sports with TechnologyOnline
Posters
Adia Wallace Northwestern University, Ashley Quiterio Northwestern University, Vishesh Kumar Northwestern University, Marcelo Worsley Northwestern University
DOI