Home
About
Message from the Board Chair
Message from the Director
The Creation of BIRS
Governance of the Station
Scientific Management
Scientific Director
Equity, Diversity and Inclusion Advisory Board
Scientific Advisory Board
Program Committee
The Review Process
Administrative Management
Board of Directors
Facilities
Location of BIRS
BIRS Code of Conduct
Resources
Frequently Asked Questions
For Participants
For Organizers
For Applicants
Reply to a Workshop Invitation
Organizer Interface
BIRS and Banff Centre Facilities
Calendar of All Events
Resources for Equity, Diversity and Inclusion
Programs
General Program Descriptions
Calendar of All BIRS Events
List of All Events
Workshops at CMO (Mexico)
Workshops at IASM (China)
Workshops at IMAG (Spain)
Workshops at UBCO (Canada)
Workshops at CMI (India)
List of 5-Day Workshops
List of 2-Day Workshops
Focused Research Groups
Public Lectures
Research in Teams
Summer Schools
Live Stream
Videos
Services
For Participants
Accept/Decline an Invitation
Online Payment
Feedback Form
For Organizers
Add Participants
Participant List Submission/Status
Enter your Schedule
For Applicants
Guidelines
Proposal Submission Form
For Scientific Board
Proposal Review System
Feedback Form
Publications
News
Workshop Reports
Scientific Reports
Proceedings
Annual Reports
Brochures
Calendar Posters
Testimonials
Search
Contact
Contact Us
Getting to BIRS
Video From
18w5208: Theory and Practice of Satisfiability Solving
Manuel Kauers
,
Johannes Kepler University
Thursday, August 30, 2018 09:04
- 10:10
Gröbner bases and applications
Manuel Kauers, Video: Gröbner bases and applications
Manuel Kauers, Video: Gröbner bases and applications
Manuel Kauers, Gröbner bases and applications, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
227M
http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos
http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808300904-Kauers.html
Download this video (227M)
Files related to this video:
KauersManuel.pdf
Other videos from this workshop
