Paper Info
Title
Effective SAT Planning by Speculative Computation
Year
DOI
Venue
2002
10.1007/3-540-36187-1_74
Australian Joint Conference on Artificial Intelligence
Keywords
Field
DocType
speculative computation,effective sat planning,sat solver,satisfiability,boolean satisfiability
Maximum satisfiability problem,#SAT,Business system planning,Computer science,Boolean satisfiability problem,Sat problem,Planner,Theoretical computer science,Computation
Conference
ISBN
Citations 
PageRank 
3-540-00197-2
2
0.44
References 
Authors
1
3
Name
Order
Citations
PageRank
Hidetomo Nabeshima115414.88
Koji Iwanuma213817.65
Katsumi Inoue31271112.78