Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions

Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions

ACM SIGPLAN via YouTube Direct link

[CPP'26] Formalization of a Proof Calculus for Incremental Linearization for Satisfiability(…)

1 of 1

1 of 1

[CPP'26] Formalization of a Proof Calculus for Incremental Linearization for Satisfiability(…)

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions

Automatically move to the next video in the Classroom when playback concludes
  1. 1 [CPP'26] Formalization of a Proof Calculus for Incremental Linearization for Satisfiability(…)

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.