SAT-Based Planning Using Propositional SAT- Solvers to Search for Plans.
译林牛津版（ 2012 教材）初中八上 Unit 1Friends. Best friend Appearance Betty Max May slim, short hair tall, wear glasses, look smart, long legs short, big bright eyes,
He’d like to share everything with his friends. He’d like to share everything with his friends. I can tell her anything and she keeps my secrets. a true.
