A multi-context architecture for formalizing complex reasoningEvaluating search heuristics and optimization techniques in propositional satisfiability
