Parallel QBF Solving with Advanced Knowledge Sharing