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