Viet-Man Le
3 papers · 2023–2026 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
AAAI (3)
Top co-authors
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)