[Eecs_mscs] EECS Research Seminar-Selected Refutations in Clausal and Polyhedral systems by Dr. K. Subramani

[Hunter, Tiffany]

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_mscs/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_mscs/attachments/20240213/6b3f7153/attachment.ics>