Phase transitions in knowledge compilation: an experimental study

Authors:
Jian Gao;Minghao Yin;Ke Xu
Affiliations:
College of Computer Science, Northeast Normal University, Changchun, China;College of Computer Science, Northeast Normal University, Changchun, China;State Key Lab. of Software Development Environment, Beihang University, Beijing, China
Venue:
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Year:
2011

A compiler for deterministic, decomposable negation normal form

Eighteenth national conference on Artificial intelligence
Exact phase transitions in random constraint satisfaction problems

Journal of Artificial Intelligence Research
A knowledge compilation map

Journal of Artificial Intelligence Research
Constraint and variable ordering heuristics for compiling configuration problems

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Where the really hard problems are

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Hi-index	0.00