![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BR_2lit_val.m | 2017-12-24 10:18 | 702 | |
| BR_3lit_val.m | 2017-12-24 09:05 | 819 | |
| BR_CNFto3CNF.m | 2017-12-13 10:11 | 507 | |
| BR_CNFto3CNF_Robert.m | 2017-12-13 10:06 | 461 | |
| BR_KB.m | 2017-12-06 18:38 | 140K | |
| BR_KB2.m | 2017-12-06 15:17 | 722 | |
| BR_KB2F.m | 2017-11-13 12:53 | 1.1K | |
| BR_KB2F_gen.m | 2017-12-16 16:01 | 3.9K | |
| BR_KB2F_gen_query.m | 2017-12-15 14:31 | 4.2K | |
| BR_KB2GD.m | 2017-12-06 16:48 | 1.7K | |
| BR_KBGD_driver.m | 2017-12-06 16:53 | 1.2K | |
| BR_KBGD_driver_big.m | 2017-12-06 18:18 | 1.2K | |
| BR_KB_Jacobian.m | 2017-12-14 16:52 | 728 | |
| BR_KB_ap2Sp.m | 2017-11-13 12:18 | 571 | |
| BR_KB_insert_clause.m | 2017-09-08 06:46 | 767 | |
| BR_MP_gen_sols.asv | 2018-01-30 15:07 | 317 | |
| BR_MP_gen_sols.m | 2018-01-30 15:12 | 442 | |
| BR_Newton_MP.m | 2017-11-29 14:44 | 918 | |
| BR_Newton_MP2.m | 2017-11-29 14:50 | 657 | |
| BR_RTP.m | 2017-12-07 08:43 | 1.9K | |
| BR_ap2ccp.m | 2017-11-16 13:46 | 326 | |
| BR_cc2clauseprob.m | 2017-09-08 08:01 | 717 | |
| BR_cc_probs2ap.m | 2017-11-13 12:16 | 603 | |
| BR_ccp2Sp.m | 2018-01-28 22:22 | 171 | |
| BR_ccp2clausep.m | 2018-01-28 22:27 | 409 | |
| BR_ccp2cp.m | 2017-12-16 12:02 | 1.1K | |
| BR_cond2ff.m | 2018-01-29 09:02 | 207 | |
| BR_cond2ft.m | 2018-01-29 09:00 | 189 | |
| BR_cond2tf.m | 2018-01-29 08:58 | 225 | |
| BR_cond2tt.m | 2018-01-29 08:56 | 189 | |
| BR_cp_sentence2formula.m | 2017-07-31 15:51 | 3.0K | |
| BR_driver.m | 2017-11-13 12:50 | 954 | |
| BR_elim_L_nL.m | 2017-02-17 16:15 | 924 | |
| BR_empty_clause.m | 2016-08-17 15:46 | 626 | |
| BR_f_MP.m | 2017-11-29 13:30 | 86 | |
| BR_gen_study_KB_gen.m | 2017-12-23 12:35 | 424 | |
| BR_gen_study_KB_ind.m | 2017-12-18 09:50 | 369 | |
| BR_gen_test_KB.m | 2017-12-24 12:29 | 1.8K | |
| BR_gen_test_KB_ind.m | 2017-12-18 09:07 | 1.7K | |
| BR_gen_test_KB_ind1.m | 2017-12-06 15:45 | 1.8K | |
| BR_gen_test_KB_ind_clauses.m | 2017-12-07 09:03 | 1.6K | |
| BR_int2bits.m | 2015-10-17 16:16 | 474 | |
| BR_new_MC_partial.m | 2018-01-24 09:04 | 2.0K | |
| BR_outfun.m | 2017-12-06 18:36 | 331 | |
| BR_parent_clauses.m | 2016-08-17 15:44 | 788 | |
| BR_prob_or.m | 2017-06-19 13:44 | 634 | |
| BR_prob_or_atom_probs.m | 2017-11-13 11:57 | 901 | |
| BR_q_order.m | 2017-11-29 14:21 | 235 | |
| BR_query.m | 2017-12-16 10:04 | 8.5K | |
| BR_res_convergence.m | 2017-12-18 12:21 | 224 | |
| BR_resolvent_clauses.m | 2017-05-31 12:19 | 1.6K | |
| BR_run_study_gen_GD.m | 2017-12-27 13:47 | 2.2K | |
| BR_run_study_gen_NM.m | 2018-01-02 16:04 | 2.1K | |
| BR_run_study_ind.m | 2017-12-18 12:26 | 855 | |
| BR_run_study_ind_GD.m | 2017-12-22 14:58 | 2.0K | |
| BR_run_study_ind_NM.m | 2018-01-03 10:18 | 2.2K | |
| BR_sensitivity.m | 2018-01-30 16:49 | 349 | |
| BR_sentence2formula.m | 2017-02-10 09:34 | 1.0K | |
| BR_solve_atom_probs.m | 2017-10-03 15:51 | 3.1K | |
| BR_sub_values_v2.m | 2017-05-08 14:00 | 781 | |
| BR_sym_Hessian.m | 2017-12-18 17:58 | 500 | |
| BR_sym_Newton.m | 2018-01-24 08:55 | 1.4K | |
| BR_test_assignment.m | 2017-12-07 09:29 | 385 | |
| BR_update_S.m | 2016-08-17 15:48 | 1.3K | |
| BR_vars.m | 2017-01-06 08:44 | 733 | |
| BR_vis_track.m | 2017-12-22 18:46 | 693 | |
| BR_vis_track3.m | 2017-12-23 09:37 | 458 | |
| BR_vtable_values.m | 2017-12-24 10:11 | 476 | |
| CS4300_Ask.m | 2017-10-12 18:45 | 1.0K | |
| CS4300_create_SAT_prob.m | 2017-10-11 13:09 | 475 | |
| CS4300_vars.m | 2016-10-14 22:07 | 241 | |
| F5.m | 2017-11-16 06:26 | 95 | |
| F5s.m | 2017-11-16 06:26 | 113 | |
| GD100_far_results.jpg | 2017-12-22 15:37 | 117K | |
| GD100_near_results.jpg | 2017-12-22 15:31 | 124K | |
| IJ.m | 2017-11-13 12:47 | 261 | |
| IJCAI-data.mat | 2018-01-06 09:12 | 58M | |
| IJs.m | 2017-11-13 12:47 | 279 | |
| KB1F.m | 2017-12-23 12:32 | 492 | |
| KB1Fs.m | 2017-12-22 14:58 | 510 | |
| KB2F.m | 2017-12-22 14:58 | 5.8K | |
| KB2Fs.m | 2017-12-22 14:58 | 5.8K | |
| KB3F.m | 2017-12-22 14:58 | 2.2K | |
| KB3Fs.m | 2017-12-22 14:58 | 2.2K | |
| KB4F.m | 2017-12-22 14:58 | 1.1K | |
| KB4Fs.m | 2017-12-22 14:58 | 1.1K | |
| KB5F.m | 2017-12-22 14:58 | 5.1K | |
| KB5Fs.m | 2017-12-22 14:58 | 5.1K | |
| KB6F.m | 2017-12-22 14:58 | 2.8K | |
| KB6Fs.m | 2017-12-22 14:58 | 2.8K | |
| KB7F.m | 2017-12-22 14:59 | 7.5K | |
| KB7Fs.m | 2017-12-22 14:59 | 7.5K | |
| KB8F.m | 2017-12-23 12:32 | 4.2K | |
| KB8Fs.m | 2017-12-22 14:59 | 4.2K | |
| KB9F.m | 2017-12-22 14:59 | 2.9K | |
| KB9Fs.m | 2017-12-22 14:59 | 2.9K | |
| KB10F.m | 2017-12-22 14:59 | 602 | |
| KB10Fs.m | 2017-12-22 14:59 | 620 | |
| KB11F.m | 2017-12-22 14:59 | 4.3K | |
| KB11Fs.m | 2017-12-22 14:59 | 4.3K | |
| KB12F.m | 2017-12-22 14:59 | 816 | |
| KB12Fs.m | 2017-12-22 14:59 | 834 | |
| KB13F.m | 2017-12-22 14:59 | 292 | |
| KB13Fs.m | 2017-12-22 14:59 | 310 | |
| KB14F.m | 2017-12-22 14:59 | 3.3K | |
| KB14Fs.m | 2017-12-22 14:59 | 3.3K | |
| KB15F.m | 2017-12-22 14:59 | 3.4K | |
| KB15Fs.m | 2017-12-22 14:59 | 3.5K | |
| KB16F.m | 2017-12-22 14:59 | 1.9K | |
| KB16Fs.m | 2017-12-22 14:59 | 2.0K | |
| KB17F.m | 2017-12-22 14:59 | 1.2K | |
| KB17Fs.m | 2017-12-22 14:59 | 1.2K | |
| KB18F.m | 2017-12-22 14:59 | 5.9K | |
| KB18Fs.m | 2017-12-22 14:59 | 5.9K | |
| KB19F.m | 2017-12-22 14:59 | 5.8K | |
| KB19Fs.m | 2017-12-22 14:59 | 5.9K | |
| KB20F.m | 2017-12-22 14:59 | 1.8K | |
| KB20Fs.m | 2017-12-22 14:59 | 1.9K | |
| KB21F.m | 2017-12-22 14:59 | 3.7K | |
| KB21Fs.m | 2017-12-22 14:59 | 3.7K | |
| KB22F.m | 2017-12-22 14:59 | 2.3K | |
| KB22Fs.m | 2017-12-22 14:59 | 2.4K | |
| KB23F.m | 2017-12-22 14:59 | 1.6K | |
| KB23Fs.m | 2017-12-22 14:59 | 1.6K | |
| KB24F.m | 2017-12-22 14:59 | 3.2K | |
| KB24Fs.m | 2017-12-22 14:59 | 3.2K | |
| KB25F.m | 2017-12-22 14:59 | 2.9K | |
| KB25Fs.m | 2017-12-22 14:59 | 2.9K | |
| KB26F.m | 2017-12-22 14:59 | 1.1K | |
| KB26Fs.m | 2017-12-22 14:59 | 1.1K | |
| KB27F.m | 2017-12-22 14:59 | 4.3K | |
| KB27Fs.m | 2017-12-22 14:59 | 4.3K | |
| KB28F.m | 2017-12-22 14:59 | 2.4K | |
| KB28Fs.m | 2017-12-22 14:59 | 2.5K | |
| KB29F.m | 2017-12-22 14:59 | 3.9K | |
| KB29Fs.m | 2017-12-22 14:59 | 3.9K | |
| KB30F.m | 2017-12-22 14:59 | 2.8K | |
| KB30Fs.m | 2017-12-22 14:59 | 2.8K | |
| KB31F.m | 2017-12-22 14:59 | 2.8K | |
| KB31Fs.m | 2017-12-22 14:59 | 2.8K | |
| KB32F.m | 2017-12-22 14:59 | 5.6K | |
| KB32Fs.m | 2017-12-22 14:59 | 5.7K | |
| KB33F.m | 2017-12-22 15:00 | 1.6K | |
| KB33Fs.m | 2017-12-22 15:00 | 1.6K | |
| KB34F.m | 2017-12-22 15:00 | 438 | |
| KB34Fs.m | 2017-12-22 15:00 | 456 | |
| KB35F.m | 2017-12-22 15:00 | 4.9K | |
| KB35Fs.m | 2017-12-22 15:00 | 5.0K | |
| KB36F.m | 2017-12-22 15:00 | 375 | |
| KB36Fs.m | 2017-12-22 15:00 | 393 | |
| KB37F.m | 2017-12-22 15:00 | 5.5K | |
| KB37Fs.m | 2017-12-22 15:00 | 5.6K | |
| KB38F.m | 2017-12-22 15:00 | 3.9K | |
| KB38Fs.m | 2017-12-22 15:00 | 3.9K | |
| KB39F.m | 2017-12-22 15:00 | 562 | |
| KB39Fs.m | 2017-12-22 15:00 | 580 | |
| KB40F.m | 2017-12-22 15:00 | 2.8K | |
| KB40Fs.m | 2017-12-22 15:00 | 2.8K | |
| KB41F.m | 2017-12-22 15:00 | 3.9K | |
| KB41Fs.m | 2017-12-22 15:00 | 3.9K | |
| KB42F.m | 2017-12-22 15:00 | 114 | |
| KB42Fs.m | 2017-12-22 15:00 | 132 | |
| KB43F.m | 2017-12-22 15:00 | 1.4K | |
| KB43Fs.m | 2017-12-22 15:00 | 1.4K | |
| KB44F.m | 2017-12-22 15:00 | 1.8K | |
| KB44Fs.m | 2017-12-22 15:00 | 1.8K | |
| KB45F.m | 2017-12-22 15:04 | 2.9K | |
| KB45Fs.m | 2017-12-22 15:04 | 2.9K | |
| KB46F.m | 2017-12-22 15:04 | 6.1K | |
| KB46Fs.m | 2017-12-22 15:04 | 6.1K | |
| KB47F.m | 2017-12-22 15:04 | 3.0K | |
| KB47Fs.m | 2017-12-22 15:04 | 3.0K | |
| KB48F.m | 2017-12-22 15:04 | 634 | |
| KB48Fs.m | 2017-12-22 15:04 | 652 | |
| KB49F.m | 2017-12-22 15:04 | 4.9K | |
| KB49Fs.m | 2017-12-22 15:04 | 4.9K | |
| KB50F.m | 2017-12-22 15:04 | 3.9K | |
| KB50Fs.m | 2017-12-22 15:04 | 3.9K | |
| KB51F.m | 2017-12-22 15:04 | 1.5K | |
| KB51Fs.m | 2017-12-22 15:04 | 1.5K | |
| KB52F.m | 2017-12-22 15:04 | 5.1K | |
| KB52Fs.m | 2017-12-22 15:04 | 5.1K | |
| KB53F.m | 2017-12-22 15:04 | 2.5K | |
| KB53Fs.m | 2017-12-22 15:04 | 2.5K | |
| KB54F.m | 2017-12-22 15:04 | 2.0K | |
| KB54Fs.m | 2017-12-22 15:04 | 2.0K | |
| KB55F.m | 2017-12-22 15:04 | 3.3K | |
| KB55Fs.m | 2017-12-22 15:04 | 3.3K | |
| KB56F.m | 2017-12-22 15:04 | 6.1K | |
| KB56Fs.m | 2017-12-22 15:04 | 6.1K | |
| KB57F.m | 2017-12-22 15:04 | 4.7K | |
| KB57Fs.m | 2017-12-22 15:04 | 4.7K | |
| KB58F.m | 2017-12-22 15:05 | 3.7K | |
| KB58Fs.m | 2017-12-22 15:05 | 3.7K | |
| KB59F.m | 2017-12-22 15:05 | 1.1K | |
| KB59Fs.m | 2017-12-22 15:05 | 1.2K | |
| KB60F.m | 2017-12-22 15:05 | 4.8K | |
| KB60Fs.m | 2017-12-22 15:05 | 4.8K | |
| KB61F.m | 2017-12-22 15:05 | 96 | |
| KB61Fs.m | 2017-12-22 15:05 | 114 | |
| KB62F.m | 2017-12-22 15:05 | 2.8K | |
| KB62Fs.m | 2017-12-22 15:05 | 2.8K | |
| KB63F.m | 2017-12-22 15:05 | 4.1K | |
| KB63Fs.m | 2017-12-22 15:05 | 4.1K | |
| KB64F.m | 2017-12-22 15:05 | 3.8K | |
| KB64Fs.m | 2017-12-22 15:05 | 3.8K | |
| KB65F.m | 2017-12-22 15:05 | 3.2K | |
| KB65Fs.m | 2017-12-22 15:05 | 3.2K | |
| KB66F.m | 2017-12-22 15:05 | 1.9K | |
| KB66Fs.m | 2017-12-22 15:05 | 1.9K | |
| KB67F.m | 2017-12-22 15:05 | 4.0K | |
| KB67Fs.m | 2017-12-22 15:05 | 4.1K | |
| KB68F.m | 2017-12-22 15:05 | 847 | |
| KB68Fs.m | 2017-12-22 15:05 | 865 | |
| KB69F.m | 2017-12-22 15:05 | 5.1K | |
| KB69Fs.m | 2017-12-22 15:05 | 5.2K | |
| KB70F.m | 2017-12-22 15:05 | 3.8K | |
| KB70Fs.m | 2017-12-22 15:05 | 3.8K | |
| KB71F.m | 2017-12-22 15:05 | 5.8K | |
| KB71Fs.m | 2017-12-22 15:05 | 5.8K | |
| KB72F.m | 2017-12-22 15:05 | 2.3K | |
| KB72Fs.m | 2017-12-22 15:05 | 2.3K | |
| KB73F.m | 2017-12-22 15:05 | 2.4K | |
| KB73Fs.m | 2017-12-22 15:05 | 2.4K | |
| KB74F.m | 2017-12-22 15:05 | 1.9K | |
| KB74Fs.m | 2017-12-22 15:05 | 1.9K | |
| KB75F.m | 2017-12-22 15:05 | 1.0K | |
| KB75Fs.m | 2017-12-22 15:05 | 1.0K | |
| KB76F.m | 2017-12-22 15:05 | 2.1K | |
| KB76Fs.m | 2017-12-22 15:05 | 2.1K | |
| KB77F.m | 2017-12-22 15:06 | 4.3K | |
| KB77Fs.m | 2017-12-22 15:06 | 4.3K | |
| KB78F.m | 2017-12-22 15:06 | 2.7K | |
| KB78Fs.m | 2017-12-22 15:06 | 2.8K | |
| KB79F.m | 2017-12-22 15:06 | 2.3K | |
| KB79Fs.m | 2017-12-22 15:06 | 2.3K | |
| KB80F.m | 2017-12-22 15:06 | 3.7K | |
| KB80Fs.m | 2017-12-22 15:06 | 3.7K | |
| KB81F.m | 2017-12-22 15:06 | 570 | |
| KB81Fs.m | 2017-12-22 15:06 | 588 | |
| KB82F.m | 2017-12-22 15:06 | 3.6K | |
| KB82Fs.m | 2017-12-22 15:06 | 3.7K | |
| KB83F.m | 2017-12-22 15:06 | 4.1K | |
| KB83Fs.m | 2017-12-22 15:06 | 4.2K | |
| KB84F.m | 2017-12-22 15:06 | 2.0K | |
| KB84Fs.m | 2017-12-22 15:06 | 2.0K | |
| KB85F.m | 2017-12-22 15:06 | 3.3K | |
| KB85Fs.m | 2017-12-22 15:06 | 3.3K | |
| KB86F.m | 2017-12-22 15:06 | 4.7K | |
| KB86Fs.m | 2017-12-22 15:06 | 4.8K | |
| KB87F.m | 2017-12-22 15:06 | 7.4K | |
| KB87Fs.m | 2017-12-22 15:06 | 7.4K | |
| KB88F.m | 2017-12-22 15:06 | 198 | |
| KB88Fs.m | 2017-12-22 15:06 | 216 | |
| KB89F.m | 2017-12-22 15:06 | 3.4K | |
| KB89Fs.m | 2017-12-22 15:06 | 3.4K | |
| KB90F.m | 2017-12-22 15:06 | 2.8K | |
| KB90Fs.m | 2017-12-22 15:06 | 2.8K | |
| KB91F.m | 2017-12-22 15:06 | 347 | |
| KB91Fs.m | 2017-12-22 15:06 | 365 | |
| KB92F.m | 2017-12-22 15:06 | 2.2K | |
| KB92Fs.m | 2017-12-22 15:06 | 2.2K | |
| KB93F.m | 2017-12-22 15:09 | 1.4K | |
| KB93Fs.m | 2017-12-22 15:09 | 1.4K | |
| KB94F.m | 2017-12-22 15:09 | 856 | |
| KB94Fs.m | 2017-12-22 15:09 | 874 | |
| KB95F.m | 2017-12-22 15:09 | 4.6K | |
| KB95Fs.m | 2017-12-22 15:09 | 4.7K | |
| KB96F.m | 2017-12-22 15:09 | 595 | |
| KB96Fs.m | 2017-12-22 15:09 | 613 | |
| KB97F.m | 2017-12-22 15:09 | 686 | |
| KB97Fs.m | 2017-12-22 15:09 | 704 | |
| KB98F.m | 2017-12-22 15:09 | 5.5K | |
| KB98Fs.m | 2017-12-22 15:09 | 5.5K | |
| KB99F.m | 2017-12-22 15:09 | 5.4K | |
| KB99Fs.m | 2017-12-22 15:09 | 5.4K | |
| KB100F.m | 2017-12-22 15:09 | 3.6K | |
| KB100Fs.m | 2017-12-22 15:09 | 3.7K | |
| KBFO.m | 2018-01-24 08:45 | 5.2K | |
| KBFOg.m | 2018-01-24 17:37 | 4.2K | |
| KBFOs.m | 2018-01-24 08:45 | 5.2K | |
| KBOBJg.m | 2018-01-24 19:33 | 2.1K | |
| KBg.m | 2018-01-28 12:35 | 9.5K | |
| KBg1F.m | 2018-01-06 09:13 | 829 | |
| KBg2F.m | 2017-12-26 20:13 | 1.1K | |
| KBg3F.m | 2017-12-26 20:13 | 1.0K | |
| KBg4F.m | 2017-12-26 20:14 | 471 | |
| KBg5F.m | 2017-12-26 20:14 | 323 | |
| KBg6F.m | 2017-12-26 20:14 | 948 | |
| KBg7F.m | 2017-12-26 20:14 | 593 | |
| KBg8F.m | 2017-12-26 20:14 | 754 | |
| KBg9F.m | 2017-12-26 20:14 | 524 | |
| KBg10F.m | 2017-12-26 20:14 | 907 | |
| KBg11F.m | 2017-12-26 20:14 | 433 | |
| KBg12F.m | 2017-12-26 20:14 | 475 | |
| KBg13F.m | 2017-12-26 20:14 | 224 | |
| KBg14F.m | 2017-12-26 20:14 | 1.0K | |
| KBg15F.m | 2017-12-26 20:14 | 348 | |
| KBg16F.m | 2017-12-26 20:14 | 673 | |
| KBg17F.m | 2017-12-26 20:14 | 1.1K | |
| KBg18F.m | 2017-12-26 20:14 | 753 | |
| KBg19F.m | 2017-12-26 20:14 | 953 | |
| KBg20F.m | 2017-12-26 20:14 | 573 | |
| KBg21F.m | 2017-12-26 20:15 | 1.1K | |
| KBg22F.m | 2017-12-26 20:15 | 1.2K | |
| KBg23F.m | 2017-12-26 20:15 | 489 | |
| KBg24F.m | 2017-12-26 20:15 | 523 | |
| KBg25F.m | 2017-12-26 20:15 | 968 | |
| KBg26F.m | 2017-12-26 20:15 | 1.0K | |
| KBg27F.m | 2017-12-26 20:15 | 958 | |
| KBg28F.m | 2017-12-26 20:15 | 1.2K | |
| KBg29F.m | 2017-12-26 20:15 | 755 | |
| KBg30F.m | 2017-12-26 20:15 | 590 | |
| KBg31F.m | 2017-12-26 20:15 | 300 | |
| KBg32F.m | 2017-12-26 20:15 | 284 | |
| KBg33F.m | 2017-12-26 20:15 | 454 | |
| KBg34F.m | 2017-12-26 20:15 | 255 | |
| KBg35F.m | 2017-12-26 20:15 | 772 | |
| KBg36F.m | 2017-12-26 20:15 | 1.2K | |
| KBg37F.m | 2017-12-26 20:16 | 820 | |
| KBg38F.m | 2017-12-26 20:16 | 417 | |
| KBg39F.m | 2017-12-26 20:16 | 775 | |
| KBg40F.m | 2017-12-26 20:16 | 213 | |
| KBg41F.m | 2017-12-26 20:16 | 910 | |
| KBg42F.m | 2017-12-26 20:16 | 509 | |
| KBg43F.m | 2017-12-26 20:16 | 661 | |
| KBg44F.m | 2017-12-26 20:16 | 898 | |
| KBg45F.m | 2017-12-26 20:16 | 276 | |
| KBg46F.m | 2017-12-26 20:16 | 924 | |
| KBg47F.m | 2017-12-26 20:16 | 361 | |
| KBg48F.m | 2017-12-26 20:16 | 210 | |
| KBg49F.m | 2017-12-26 20:16 | 577 | |
| KBg50F.m | 2017-12-26 20:16 | 339 | |
| KBg51F.m | 2017-12-26 20:16 | 580 | |
| KBg52F.m | 2017-12-26 20:16 | 744 | |
| KBg53F.m | 2017-12-26 20:16 | 595 | |
| KBg54F.m | 2017-12-26 20:16 | 1.0K | |
| KBg55F.m | 2017-12-26 20:17 | 530 | |
| KBg56F.m | 2017-12-26 20:17 | 552 | |
| KBg57F.m | 2017-12-26 20:17 | 501 | |
| KBg58F.m | 2017-12-26 20:17 | 265 | |
| KBg59F.m | 2017-12-26 20:17 | 529 | |
| KBg60F.m | 2017-12-26 20:17 | 513 | |
| KBg61F.m | 2017-12-26 20:17 | 889 | |
| KBg62F.m | 2017-12-26 20:17 | 806 | |
| KBg63F.m | 2017-12-26 20:17 | 668 | |
| KBg64F.m | 2017-12-26 20:17 | 313 | |
| KBg65F.m | 2017-12-26 20:17 | 385 | |
| KBg66F.m | 2017-12-26 20:17 | 727 | |
| KBg67F.m | 2017-12-26 20:17 | 448 | |
| KBg68F.m | 2017-12-26 20:17 | 284 | |
| KBg69F.m | 2017-12-26 20:17 | 927 | |
| KBg70F.m | 2017-12-26 20:17 | 862 | |
| KBg71F.m | 2017-12-26 20:17 | 248 | |
| KBg72F.m | 2017-12-26 20:17 | 1.0K | |
| KBg73F.m | 2017-12-26 20:18 | 398 | |
| KBg74F.m | 2017-12-26 20:18 | 610 | |
| KBg75F.m | 2017-12-26 20:18 | 952 | |
| KBg76F.m | 2017-12-26 20:18 | 174 | |
| KBg77F.m | 2017-12-26 20:18 | 673 | |
| KBg78F.m | 2017-12-26 20:18 | 289 | |
| KBg79F.m | 2017-12-26 20:18 | 949 | |
| KBg80F.m | 2017-12-26 20:18 | 206 | |
| KBg81F.m | 2017-12-26 20:18 | 543 | |
| KBg82F.m | 2017-12-26 20:18 | 273 | |
| KBg83F.m | 2017-12-26 20:18 | 425 | |
| KBg84F.m | 2017-12-26 20:18 | 669 | |
| KBg85F.m | 2017-12-26 20:18 | 652 | |
| KBg86F.m | 2017-12-26 20:18 | 596 | |
| KBg87F.m | 2017-12-26 20:18 | 906 | |
| KBg88F.m | 2017-12-26 20:18 | 690 | |
| KBg89F.m | 2017-12-26 20:18 | 952 | |
| KBg90F.m | 2017-12-26 20:18 | 489 | |
| KBg91F.m | 2017-12-26 20:18 | 311 | |
| KBg92F.m | 2017-12-26 20:18 | 481 | |
| KBg93F.m | 2017-12-26 20:18 | 148 | |
| KBg94F.m | 2017-12-26 20:18 | 779 | |
| KBg95F.m | 2017-12-26 20:19 | 744 | |
| KBg96F.m | 2017-12-26 20:19 | 691 | |
| KBg97F.m | 2017-12-26 20:19 | 1.0K | |
| KBg98F.m | 2017-12-26 20:19 | 691 | |
| KBg99F.m | 2017-12-26 20:19 | 725 | |
| KBg100F.m | 2017-12-26 20:19 | 594 | |
| KBi.m | 2018-01-30 16:54 | 1.9K | |
| KBis.m | 2018-01-30 16:54 | 2.0K | |
| KBt1F.m | 2017-12-24 12:33 | 754 | |
| MP3F.m | 2017-12-15 15:54 | 135 | |
| MPg.m | 2018-01-30 14:40 | 88 | |
| MPi.m | 2018-01-29 09:59 | 82 | |
| MPis.m | 2018-01-29 09:59 | 100 | |
| QF.m | 2017-12-16 10:07 | 273 | |
| SAT.tar.gzip | 2018-06-29 11:05 | 6.9K | |
| TR.mat | 2018-01-24 08:57 | 3.3K | |
| Tuffy_IFF.mat | 2018-01-28 22:03 | 36K | |
| converge.eps | 2018-01-04 11:00 | 1.1M | |
| converge.jpg | 2018-01-04 11:00 | 181K | |
| converge10.jpg | 2017-12-18 12:39 | 73K | |
| error10.eps | 2017-12-22 12:48 | 352K | |
| error10.jpg | 2017-12-18 12:42 | 85K | |
| f100i.eps | 2018-01-03 09:50 | 20K | |
| f100i.jpg | 2018-01-03 09:50 | 58K | |
| fn100g.eps | 2018-01-03 10:11 | 21K | |
| fn100g.jpg | 2018-01-03 10:11 | 107K | |
| fn100gNM.eps | 2018-01-03 14:07 | 22K | |
| fn100gNM.jpg | 2018-01-03 14:07 | 90K | |
| fn100i.eps | 2018-01-03 09:57 | 22K | |
| fn100i.jpg | 2018-01-03 09:57 | 62K | |
| fn100iNM.eps | 2018-01-03 10:41 | 22K | |
| fn100iNM.jpg | 2018-01-03 10:41 | 51K | |
| hybkb | 2018-01-02 14:29 | 41 | |
| mp3f | 2017-12-15 14:29 | 135 | |
| popo/ | 2018-06-29 11:02 | - | |
| res100f_GD.eps | 2017-12-22 17:15 | 28K | |
| res100f_GD.jpg | 2017-12-22 17:15 | 107K | |
| res100f_NM.eps | 2017-12-22 17:04 | 28K | |
| res100f_NM.jpg | 2017-12-22 16:36 | 99K | |
| res100n_GD.eps | 2017-12-22 17:15 | 28K | |
| res100n_GD.jpg | 2017-12-22 17:14 | 122K | |
| res100n_NM.eps | 2017-12-22 17:05 | 29K | |
| res100n_NM.jpg | 2017-12-22 16:30 | 95K | |
| sat.py | 2018-06-29 11:05 | 3.1K | |
| satinstance.py | 2018-06-29 11:05 | 2.2K | |
| satinstance.pyc | 2018-06-29 11:05 | 3.5K | |
| sensitive.jpg | 2018-01-30 16:58 | 35K | |
| tch.m | 2018-01-18 14:51 | 88 | |
| test10.mat | 2017-12-19 21:22 | 3.1M | |
| test_KB_100_gen.mat | 2017-12-26 10:41 | 45K | |
| test_KB_100_ind.mat | 2017-12-26 10:41 | 55K | |
| test_KBs.mat | 2017-12-25 19:24 | 26M | |
| vis2.eps | 2017-12-23 09:51 | 40K | |
| vis2.jpg | 2017-12-23 09:51 | 54K | |
