Publications of Ari Saptawijaya
From International Center for Computational Logic
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
