Ari Saptawijaya
From International Center for Computational Logic
Ari Saptawijaya
Former member
![Ari Saptawijaya Ari Saptawijaya](/w/images/thumb/e/e5/Missing_portrait_3-2.png/150px-Missing_portrait_3-2.png)
- Former PhD Researcher in Research Group Knowledge Representation and Reasoning
Newest Publications
Norbert Manthey, Ari Saptawijaya
Towards Improving the Resource Usage of SAT-solvers
Pragmatics of SAT (POS), July 2010
Details Download