28-03-2017, 10:47 AM
RSat 2.0 is a complete SAT solver based on DPLL that employs many modern techniques like those used in MiniSat and Chaff. RSat 2.0 is an enhanced version of RSat, which won third place in the 2006 SAT-Race competition. While RSat 2.0 is designed to work better on industrial SAT instances, we expect the solver to exhibit reasonable efficiency in other instance categories. This document briefly describes the important techniques used in RSat 2.0.
Topics / Syllabus for this R-SAT exam
The R-SAT Exam will be of Objective Type and consists of the following subjects
• General English
• General knowledge
• Quantitative aptitude
• Ability to reason
Topics / Syllabus for this R-SAT exam
The R-SAT Exam will be of Objective Type and consists of the following subjects
• General English
• General knowledge
• Quantitative aptitude
• Ability to reason