Skip to content
View manleviet's full-sized avatar
⛰️
From Graz with love
⛰️
From Graz with love
83 followers · 70 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Quickdraw

Highlights

  • Pro

Organizations

@manleviet-lthdt

Block or report manleviet

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
manleviet/README.md

Hi there 👋 I'm Viet-Man Le (Lê Viết Mẫn in Vietnamese) 👨‍💻

A Project Assistant and PhD student at Institute of Software Technology, Graz University of Technology, Austria.

  • 🔭 I’m currently working on Intelligent Techniques for Efficient Diagnostic Reasoning in Feature Model Development and Evolution

Pinned Loading

  1. HiConfiT/hiconfit-core HiConfiT/hiconfit-core Public

    A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques

    Perl 2

  2. AIG-ist-tugraz/FastDiagP AIG-ist-tugraz/FastDiagP Public

    Source code to support AAAI 2023 paper "FastDiagP: An Algorithm for Parallelized Direct Diagnosis"

    Python

  3. MAM-for-RS MAM-for-RS Public archive

    An atractive and repulsive multi-agent model for Collaborative Filtering Recommender Systems

    Objective-C 1

  4. AIG-ist-tugraz/robust-lcd AIG-ist-tugraz/robust-lcd Public

    Artifact for the paper "Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Control", presented at AAAI'26

    Java

  5. flamapy/pysat_metamodel flamapy/pysat_metamodel Public

    This repository will host the pysat metamode and its operation implementation

    Python 3 6

  6. AIG-ist-tugraz/llm-blueprint-analysis AIG-ist-tugraz/llm-blueprint-analysis Public

    Artifact for the paper "Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis", presented at SAC'26

    Python