manleviet
I am currently a University Assistant at the Institute for Software Technology, Graz University of Technology, Austria.
Graz, Austria
Pinned Repositories
FastDiagP
Source code to support AAAI 2023 paper "FastDiagP: An Algorithm for Parallelized Direct Diagnosis"
hiconfit-core
A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques
Bat-loi-chinh-ta-tieng-Viet-dua-tren-phan-tich-ngu-phap
A check-spelling application based on analyzing the grammar of Vietnamese phrases
CSLT
Mã nguồn các bài tập, bài thực hành môn Cơ sở lập trình
DiagLearn
DiagLearn is a machine learning program able to learn and predict variable value orderings as input for diagnosis algorithms such as FastDiag.
FeatureModelPackage
A Maven package for feature models
glMiSOM
A tool for image management where user can find easily similar images
MAM-for-RS
An atractive and repulsive multi-agent model for Collaborative Filtering Recommender Systems
PertModeling
PertModeling is a Pert technique simulation tool
VGI
Graph Visualization for Interactive Image Retrieval
manleviet's Repositories
manleviet/ChocoKB
A Maven package for Configuration Knowledge Bases in Choco Solver
manleviet/DiagLearn
DiagLearn is a machine learning program able to learn and predict variable value orderings as input for diagnosis algorithms such as FastDiag.
manleviet/FeatureModelPackage
A Maven package for feature models
manleviet/CECore
A Maven package for core components of a knowledge-based configuration environment
manleviet/benchmarking
This repo is hosting a small benchmark with examples on how to use the tool as final user or backend developer
manleviet/CA-CDR
Consistency-based Algorithms for Conflict Detection and Resolution
manleviet/CDRModel
Models for Conflict Detection and Resolution
manleviet/CommonPackage
A Maven package for utility functions
manleviet/CSP2ChocoTranslator
A translator enables converting CSP constraints into Choco Solver commands.
manleviet/DynamicallyAddRemoveConstraints
Example for dynamically add/remove constraints
manleviet/easysoc-firrtl
Firrtl Syntax highlighting, Code folding and Navigate to corresponding Chisel code
manleviet/eo-intellij-plugin
Syntax Highlighting Intellij IDEA Plugin for EO Programming Language
manleviet/eval-package
A Maven package for evaluation
manleviet/FastDiagP_Prover
A program proves that FastDiagP's LookAhead function can generate all possible consistency checks needed by FastDiag.
manleviet/FastDiagPEvaluation_copy
manleviet/FeatureIDE
An extensible framework for feature-oriented software development
manleviet/FlexDiagTest
FlexDiagTest
manleviet/FMGenerator
Feature Model Generator
manleviet/KBStatistics
A Knowledge Base Statistics Tool
manleviet/manleviet
manleviet/manleviet.github.io
Documentation of CA-CDR-V2, CECore and other apps
manleviet/NegativeConstraints
How to deal with negative constraints and reif constraints.
manleviet/NeSy4ConDetect
manleviet/preferences-example
manleviet/PyFastDiagP
Python implementation of FastDiagP
manleviet/PyFastDiagP-ver2
Python FastDiagP implementation
manleviet/pysat_metamodel
This repository will host the pysat metamode and its operation implementation
manleviet/taming-thymeleaf-sources
Source code for the 'Taming Thymeleaf' book
manleviet/VVOExample
manleviet/welcome-project
Welcome banners for command line programs