Login / Signup
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.
Yuya Yamada
Mutsunori Banbara
Katsumi Inoue
Torsten Schaub
Ryuhei Uehara
Published in:
WALCOM (2024)
Keyphrases
</>
empirical analysis
answer set programming
theoretical analysis
orders of magnitude
logic programming
logic programs
constraint logic programming
empirical studies
answer sets
tree decomposition
machine learning
genetic algorithm
expert systems
knowledge representation
reasoning tasks
causal theories