Browsing by Subject SAT solving