EasyChair Smart SlideDocs/Log in
Author: Teodora Baluta

This page shows all presentations of this author published in EasyChair Smart Slide.

Explaining SAT Solving Using Causal Reasoning

Explaining SAT Solving Using Causal Reasoning

Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos and Kuldeep S. Meel

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair