Publications of Ari Saptawijaya

From International Center for Computational Logic
Toggle side column

Publications of Ari Saptawijaya


Proceedings Articles

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