Liên quan đến chiến lược nghiên cứu FF được dựa trên, chúng tôi nhận xét dưới đây. Cách tiếp cận rất nhiều kế hoạch cổ điển, như một phần để lập kế hoạch (McAllester & Rosenblitt, 1991) hoặc lập kế hoạch phân tích của đồ thị (Blum & Furst, 1997), giải quyết các vấn đề chung phương pháp, evelop ed sau một số khái niệm lý thuyết, và thử nghiệm trên các ví dụ từ các tài liệu sau đó
đang được dịch, vui lòng đợi..