https://community.wvu.edu/~krsubramani/ Title: Selected Refutations in Clausal and Polyhedral systems Abstract: This talk is concerned with providing certificates for constraint satisfaction problems. Certification enhances trust in the answers returned by an implementation. Of late, certification has become an integral part of Explainable AI. We will discuss the existence of certificates in both polyhedral and clausal systems. A secondary aspect of our research concerns finding certificates of optimal length. We will present research results in this domain, obtained over the last two decades. ________________________________________________________________________________ Microsoft Teams meeting Join on your computer, mobile app or room device Click here to join the meeting< https://teams.microsoft.com/l/meetup-join/19%3ameeting_Mzc4MWIxNTgtY2YzYy00ZDcxLTkzMDUtNmZhMzAxYmRjMzUx%40thread.v2/0?context=%7b%22Tid%22%3a%22f3308007-477c-4a70-8889-34611817c55a%22%2c%22Oid%22%3a%22685c3f4f-29d5-4141-ada5-0fdeab8480e4%22%7d > Meeting ID: 296 854 598 515 Passcode: 9jdNao Download Teams< https://www.microsoft.com/en-us/microsoft-teams/download-app > | Join on the web< https://www.microsoft.com/microsoft-teams/join-a-meeting > Or call in (audio only) +1 614-706-6572,,278211256#<tel:+16147066572,,278211256#> United States, Columbus Phone Conference ID: 278 211 256# Find a local number< https://dialin.teams.microsoft.com/8f5f7319-0053-4423-a154-4f8b6e7fb7dd?id=278211256 > | Reset PIN< https://dialin.teams.microsoft.com/usp/pstnconferencing > [ https://www.ohio.edu/sites/default/files/2018-11/invite_logo_teams.jpg ] If you encounter issues with this meeting, please visit the Help link. If you are not able to resolve the problems, please contact the meeting organizer to let them know you are having difficulty. Learn More< https://aka.ms/JoinTeamsMeeting > | Help< https://www.ohio.edu/oit/services/collaboration/teams/help > | Meeting options< https://teams.microsoft.com/meetingOptions/?organizerId=685c3f4f-29d5-4141-ada5-0fdeab8480e4&tenantId=f3308007-477c-4a70-8889-34611817c55a&threadId=19_meeting_Mzc4MWIxNTgtY2YzYy00ZDcxLTkzMDUtNmZhMzAxYmRjMzUx@thread.v2&messageId=0&language=en-US > ________________________________________________________________________________ -------------- next part -------------- An HTML attachment was scrubbed... URL: < http://listserv.ohio.edu/pipermail/eecs_phd/attachments/20240213/6b3f7153/attachment.html > -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: text/calendar Size: 8472 bytes Desc: not available URL: < http://listserv.ohio.edu/pipermail/eecs_phd/attachments/20240213/6b3f7153/attachment.ics >
(740) 593–9381 | Building 21, The Ridges
Ohio University | Athens OH 45701 | 740.593.1000 ADA Compliance | © 2018 Ohio University . All rights reserved.