EasyChair Smart SlideUser guide
Author: Kuldeep S. Meel

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

A Fast and Accurate ASP Counting Based Network Reliability Estimator

A Fast and Accurate ASP Counting Based Network Reliability Estimator

Mohimenul Kabir and Kuldeep S Meel

Designing Samplers Is Easy: the Boon of Testers

Designing Samplers Is Easy: the Boon of Testers

Priyanka Golia, Mate Soos, Sourav Chakraborty and Kuldeep S. Meel

Scalable Uniform Sampling via Efficient Knowledge Compilation

Scalable Uniform Sampling via Efficient Knowledge Compilation

Yong Lai, Kuldeep S. Meel and Roland Yap

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving

Nicolas Prévot, Mate Soos and Kuldeep S. Meel

Induction Models on N

Induction Models on N

A Dileep, Kuldeep S. Meel and Ammar F. Sabili

MLIC: A MaxSAT-Based framework for learning interpretable classification rules

MLIC: A MaxSAT-Based framework for learning interpretable classification rules

Dmitry Malioutov and Kuldeep S. Meel

Presentations in this collection: 7
Copyright © 2002 – 2026 EasyChair