EasyChair Smart SlideDocs/Log in
Author: Roland Yap

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

A Comparison of SAT Encodings for Acyclicity of Directed Graphs

A Comparison of SAT Encodings for Acyclicity of Directed Graphs

Neng-Fa Zhou, Ruiwei Wang and Roland Yap

Scalable Uniform Sampling via Efficient Knowledge Compilation

Scalable Uniform Sampling via Efficient Knowledge Compilation

Yong Lai, Kuldeep S. Meel and Roland Yap

Shape Neutral Analysis of Graph-based Data-structures

Shape Neutral Analysis of Graph-based Data-structures

Gregory Duck, Joxan Jaffar and Roland Yap

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