Patent application 14145300 (US), filed 2013-12-31
Publication number: US20150186505A1
Title: SOLVING SATISFIABILITY PROBLEMS THROUGH SEARCH
CPC codes: G06F  17/11
G06F  30/331
Office action: rejection, dated 2015-10-13
Rejection reasons: anticipation_102
obviousness_103
subject_matter_101
indefiniteness_112
Prior art cited: ref_id: 20090024557
ref_type: patent
severity: novelty_destroying
ref_id: 20040068497
ref_type: patent
severity: novelty_destroying
ref_id: 20090281999
ref_type: patent
severity: novelty_destroying
ref_id: 20120317647
ref_type: patent
severity: novelty_destroying
ref_id: 20030220926
ref_type: patent
severity: novelty_destroying
ref_id: 20040068497
ref_type: patent
severity: novelty_destroying
ref_id: 20090024557
ref_type: patent
severity: novelty_destroying
Final disposition: granted (2015-10-13)