Anggha Nugraha

According to our database, Anggha Nugraha authored at least 2 papers between 2012 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols.

Stefan Ratschan, Anggha Nugraha, Mikolás Janota, Marek Danco

CoRR, February, 2026

2012

The Analysis and Comparison of Algorithm in QR Decomposition.

Anggha Nugraha, Tjan Basaruddin

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012