Abstract: Boolean satisfiability (SAT), a non-deterministic polynomial (NP)-complete problem, has gained increasing attention with applications in artificial intelligence, machine learning, electronic ...

See the live demo at: http://warpech.github.com/jquery-handsontable/ handsontable('alter', 'insert_row', index) Method Insert new row above the row at given index ...