Instances of the futile questioning problem abound in applications, especially, in the area of artificial intelligence. The problem can be represented by a particular quantified Boolean formula. A variation of the problem includes also costs for the logic variables. Typically, the problem is simplified instead of solved directly, which may lead to inaccurate results. Alternatively, the problem ...