Ari Saptawijaya

From International Center for Computational Logic

Ari Saptawijaya

Former member
Ari Saptawijaya

Newest Publications

View full publication list

Norbert Manthey, Ari Saptawijaya
Towards Improving the Resource Usage of SAT-solvers
Pragmatics of SAT (POS), July 2010
Details Download

View full publication list