Sandeep Kumar Singla, Pradeep Kumar Jaswal. Hybrid Satisfiability Techniques. In Shahram Latifi, editor, Seventh International Conference on Information Technology: New Generations, ITNG 2010, Las Vegas, Nevada, USA, 12-14 April 2010. pages 281-284, IEEE Computer Society, 2010. [doi]
Abstract is missing.