Taufiq Hidayat

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Propositional Satisfiability

Top Venues

Comput. Informatics

PeerJ Comput. Sci.

Publications

Taufiq Hidayat, Asmala bin Ahmad, Hea Choon Ngo
Non-redundant implicational base of formal context with constraints using SAT. PeerJ Comput. Sci. 10 (2024)
Lala Septem Riza, Muhammad Naufal Fazanadi, Judhistira Aria Utama, Khyrina Airin Fariza Abu Samah, Taufiq Hidayat, Shah Nazir
SAX and Random Projection Algorithms for the Motif Discovery of Orbital Asteroid Resonance Using Big Data Platforms. Sensors 22 (14) (2022)
Taufiq Hidayat, Asmala bin Ahmad, Mohammad Ishak Desa
Non-Redundant Implicational Base of Many-Valued Context Using SAT. Comput. Informatics 40 (2) (2021)