Viet-Man Le
3 papers · 2023–2026 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge · Gold
Venues
Top co-authors
Research topics
Keywords
conflict detection
(2)
model-based diagnosis
(1)
constraint satisfaction
(1)
algorithmic efficiency
(1)
parallel algorithm
(1)
genetic algorithm
(1)
runtime performance
(1)
knowledge-based system
(1)
diversity control
(1)
lazy evaluation
(1)
constraint-based diagnosis
(1)
speculative programming
(1)
knowledge base debugging
(1)
conflict identification
(1)
configuration knowledge base
(1)
knowledge reuse
(1)
configuration system
(1)