Ari Saptawijaya
Aus International Center for Computational Logic
Ari Saptawijaya
Ehemaliges Mitglied
![Ari Saptawijaya Ari Saptawijaya](/w/images/thumb/e/e5/Missing_portrait_3-2.png/150px-Missing_portrait_3-2.png)
- Ehemals Doktorand in Forschungsgruppe Wissensverarbeitung
Neueste Publikationen
Komplette Publikationsliste anzeigen
Norbert Manthey, Ari Saptawijaya
Towards Improving the Resource Usage of SAT-solvers
Pragmatics of SAT (POS), July 2010
Details Download