03/08/24: Bitwuzla with Mathias Preiner

from Boston Computation Club · host Max von Hippel

Mathias Preiner is a Research Scientist at Stanford University in the Centaur lab. He is one of the main developers of the SMT solver Boolector (since June 2012) and Bitwuzla -- which is what he joined us to discuss today. This was a good talk, but an excellent Q&A, and we really enjoyed it. Thanks Mathias for joining us today, and to the awesome audience for showing up with such deep and technical questions!

Episode metadata supplied by the publisher feed · Published Mar 9, 2024

Embed this episode

Attribution link and audio player

NOW PLAYING

03/08/24: Bitwuzla with Mathias Preiner

0:00 59:31

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

How long is this episode of Boston Computation Club?

This episode is 59 minutes long.

When was this Boston Computation Club episode published?

This episode was published on March 9, 2024.

Can I download this Boston Computation Club episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!