Conference: 7th SC-Square Workshop (Seventh Workshop on Satisfiability Checking and Symbolic Computation)

Conference: 7th SC-Square Workshop (Seventh Workshop on Satisfiability Checking and Symbolic Computation)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Automatic Deployment of Component-Based Applications in the Cloud

Automatic Deployment of Component-Based Applications in the Cloud

Mădălina Erașcu and Bogdan David

Enumerating Projective Planes of Order Nine with Proof Verification

Enumerating Projective Planes of Order Nine with Proof Verification

Daniel Dallaire and Curtis Bright

Presentations in this collection: 2