![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | sat.py | 2014-09-30 15:30 | 3.1K | |
![]() | satinstance.py | 2014-09-30 15:30 | 2.2K | |
![]() | CS4300_gen_board.m | 2015-08-11 13:01 | 922 | |
![]() | test_KB_100_ind.mat | 2017-12-26 10:41 | 55K | |
![]() | test_KB_100_gen.mat | 2017-12-26 10:41 | 45K | |
![]() | BR_vars.m | 2018-05-27 15:00 | 733 | |
![]() | BR_gen_test_KB_gen.m | 2018-07-18 10:05 | 7.0K | |
![]() | satinstance.pyc | 2018-07-18 10:07 | 3.4K | |
![]() | BR_gen_test_KB_ind.m | 2018-07-18 10:17 | 7.8K | |
![]() | BR_KB2F_ind.m | 2018-07-18 10:21 | 2.3K | |
![]() | BR_test_NILS.m | 2018-07-18 10:54 | 962 | |
![]() | BR_KB_GD.m | 2018-07-25 06:38 | 2.1K | |
![]() | BR_Nilsson_method_all.m | 2018-08-07 17:33 | 3.1K | |
![]() | BR_create_vtable.m | 2018-08-11 09:14 | 819 | |
![]() | BR_parity.m | 2018-08-11 09:58 | 422 | |
![]() | BR_get_vtable.m | 2018-08-11 10:04 | 1.1K | |
![]() | BR_put_vtable.m | 2018-08-11 10:06 | 1.0K | |
![]() | BR_KB2F_gen.m | 2018-08-13 09:13 | 15K | |
![]() | BR_remove_eq.m | 2018-10-08 14:01 | 1.6K | |
![]() | BR_remove_implies.m | 2018-10-08 14:01 | 1.6K | |
![]() | BR_move_not_in.m | 2018-10-08 14:04 | 1.7K | |
![]() | BR_getIMPLIESargs.m | 2018-10-08 14:10 | 738 | |
![]() | BR_getEQargs.m | 2018-10-08 14:10 | 713 | |
![]() | BR_getANDargs.m | 2018-10-08 14:11 | 718 | |
![]() | BR_getORargs.m | 2018-10-08 14:12 | 713 | |
![]() | BR_isANDop.m | 2018-10-08 14:13 | 606 | |
![]() | BR_isEQop.m | 2018-10-08 14:14 | 597 | |
![]() | BR_isNEGop.m | 2018-10-08 14:15 | 354 | |
![]() | BR_isORop.m | 2018-10-08 14:15 | 599 | |
![]() | BR_isvariable.m | 2018-10-08 14:16 | 554 | |
![]() | BR_s2CNF_MC.m | 2018-10-28 18:59 | 631 | |
![]() | BR_isliteral.m | 2018-10-30 14:57 | 1.0K | |
![]() | BR_all_and_args.m | 2018-10-31 09:11 | 1.0K | |
![]() | BR_only_AND.m | 2018-10-31 09:13 | 477 | |
![]() | BR_only_OR.m | 2018-10-31 09:13 | 477 | |
![]() | BR_get_literals.m | 2018-10-31 09:14 | 1.0K | |
![]() | BR_max_var_in_s.m | 2018-10-31 09:16 | 769 | |
![]() | BR_switch_vars.m | 2018-10-31 09:19 | 1.5K | |
![]() | BR_s2CNF.m | 2018-10-31 09:27 | 660 | |
![]() | BR_s2KB.m | 2018-10-31 09:34 | 1.2K | |
![]() | BR_KB2s.m | 2018-10-31 09:37 | 1.4K | |
![]() | BR_3PSAT.m | 2018-10-31 09:52 | 776 | |
![]() | BR_KB_query_prob.m | 2018-10-31 10:02 | 3.5K | |
![]() | BR_PSAT2PSAT3.m | 2018-11-01 08:55 | 2.3K | |
![]() | BR_dist_or.m | 2018-11-01 08:57 | 1.9K | |
![]() | BR_getNEGargs.m | 2018-11-01 09:01 | 726 | |
![]() | BR_isdigit.m | 2018-11-01 09:05 | 711 | |
![]() | BR_s2clause.m | 2018-11-01 09:37 | 735 | |
![]() | BR_vtable.m | 2018-11-01 09:50 | 1.1K | |
![]() | BR_Nilsson.m | 2018-11-01 10:20 | 872 | |
![]() | BR_int2bits.m | 2018-11-01 10:21 | 462 | |
![]() | BR_sat.m | 2018-11-01 10:22 | 555 | |
![]() | BR_Nilsson_query.m | 2018-11-01 11:34 | 678 | |
![]() | BR_prob_or_atom_probs.m | 2018-11-01 11:53 | 901 | |
![]() | BR_prob_or.m | 2018-11-01 11:55 | 634 | |
![]() | KBMPi.m | 2018-11-01 12:04 | 84 | |
![]() | KBMPis.m | 2018-11-01 12:04 | 102 | |
![]() | KBMPg.m | 2018-11-01 12:04 | 195 | |
![]() | KB3i.m | 2018-11-08 15:28 | 188 | |
![]() | KB3is.m | 2018-11-08 15:28 | 206 | |
![]() | KB3g.m | 2018-11-08 15:32 | 1.0K | |
![]() | BR_MC.m | 2018-12-09 18:44 | 298 | |
![]() | BR_DT_KB.m | 2018-12-12 09:45 | 1.1K | |
![]() | c_tree.jpg | 2018-12-12 10:37 | 95K | |
![]() | BR_DT_paths.m | 2018-12-12 11:36 | 5.2K | |
![]() | BR_MCMC_query.m | 2018-12-17 07:39 | 2.0K | |
![]() | BR_clause_sym_max.m | 2018-12-17 09:42 | 472 | |
![]() | BR_MCMC_query_WS.m | 2018-12-17 09:50 | 2.4K | |
![]() | BR_get_samp.m | 2018-12-17 10:10 | 1.4K | |
![]() | BR_get_samp_P.m | 2018-12-17 10:25 | 232 | |
![]() | BR_MC_query_P.m | 2018-12-17 10:25 | 1.2K | |
![]() | BR_MC_query.m | 2018-12-17 12:23 | 1.7K | |
![]() | BR_prob_atom.m | 2018-12-18 15:51 | 204 | |
![]() | BR_MC_query_MH.m | 2018-12-19 14:46 | 1.7K | |
![]() | BR_MC_query_MH2.m | 2018-12-19 19:01 | 1.5K | |
![]() | BR_prob_cc.m | 2018-12-20 10:13 | 202 | |
![]() | BR_MC_query_MH3.m | 2018-12-20 10:28 | 1.0K | |
![]() | BR_data2literals.m | 2018-12-20 13:09 | 1.8K | |
![]() | BR_path.m | 2018-12-20 19:51 | 305 | |
![]() | BR_DT_KB_gen.m | 2018-12-20 20:24 | 1.8K | |
![]() | KBDT.mat | 2018-12-20 20:28 | 1.1K | |
![]() | BR_MC_board.m | 2018-12-26 16:35 | 3.1K | |
![]() | BR_MH_fun1.m | 2018-12-27 14:37 | 75 | |
![]() | BR_sentence_err.m | 2018-12-28 09:03 | 351 | |
![]() | BR_build_DT.m | 2018-12-28 12:16 | 1.0K | |
![]() | BR_MC3.m | 2018-12-28 13:28 | 1.5K | |
![]() | DT_driver.m | 2018-12-28 13:30 | 522 | |
![]() | BR_MC_query_MC.m | 2018-12-28 13:39 | 2.2K | |
![]() | BR_U.m | 2019-01-02 13:18 | 290 | |
![]() | BR_MC2.m | 2019-01-02 13:22 | 1.3K | |
![]() | BR_ramp.m | 2019-01-02 13:37 | 333 | |
![]() | MHsimple.m | 2019-01-02 13:46 | 1.0K | |
![]() | BR_2circles.m | 2019-01-02 14:57 | 120 | |
![]() | BR_rand_MP.m | 2019-01-04 15:00 | 523 | |
![]() | BR_gen_test_KB_ind_exact.m | 2019-01-05 13:31 | 7.8K | |
![]() | KBi1i.m | 2019-01-05 13:34 | 1.1K | |
![]() | KBi1is.m | 2019-01-05 13:34 | 1.1K | |
![]() | KBWi.m | 2019-01-09 23:10 | 1.4M | |
![]() | KBg.m | 2019-01-13 14:24 | 1.0K | |
![]() | BR_test_ABCD.m | 2019-01-13 14:53 | 744 | |
![]() | KBa.m | 2019-01-26 09:03 | 227 | |
![]() | KBas.m | 2019-01-26 09:03 | 245 | |
![]() | BR_rand_clauses.m | 2019-01-28 13:40 | 563 | |
![]() | BR_rand_KB.m | 2019-01-28 14:34 | 568 | |
![]() | BR_KB_Jacobian.m | 2019-01-28 14:40 | 1.5K | |
![]() | KBr.m | 2019-01-28 15:51 | 23K | |
![]() | KBrs.m | 2019-01-28 15:51 | 23K | |
![]() | KBr300.m | 2019-01-29 13:15 | 5.9K | |
![]() | KBr300s.m | 2019-01-29 13:15 | 5.9K | |
![]() | KBr400.m | 2019-01-29 13:26 | 5.8K | |
![]() | KBr400s.m | 2019-01-29 13:26 | 5.8K | |
![]() | KBr600.m | 2019-01-29 13:37 | 6.1K | |
![]() | KBr600s.m | 2019-01-29 13:37 | 6.2K | |
![]() | KBr1000.m | 2019-01-29 13:52 | 6.0K | |
![]() | KBr1000s.m | 2019-01-29 13:52 | 6.0K | |
![]() | KBr1300.m | 2019-01-29 14:29 | 36K | |
![]() | KBr1300s.m | 2019-01-29 14:29 | 36K | |
![]() | KB.m | 2019-02-04 09:41 | 186 | |
![]() | KBs.m | 2019-02-04 09:41 | 204 | |
![]() | KB4.m | 2019-02-07 10:59 | 123 | |
![]() | KB4s.m | 2019-02-07 10:59 | 141 | |
![]() | KB4g.m | 2019-02-09 11:24 | 345 | |
![]() | BR_Nilsson_query_clause.m | 2019-02-09 11:31 | 699 | |
![]() | BR_test_P23.m | 2019-02-10 18:24 | 626 | |
![]() | BR_test_P42.m | 2019-02-10 18:54 | 468 | |
![]() | KBin.m | 2019-02-11 16:12 | 142 | |
![]() | KBins.m | 2019-02-11 16:12 | 160 | |
![]() | KBing.m | 2019-02-11 16:13 | 370 | |
![]() | KB3MPi.m | 2019-02-13 10:25 | 126 | |
![]() | KB3MPis.m | 2019-02-13 10:25 | 144 | |
![]() | BR_atom_prob.m | 2019-02-22 10:48 | 174 | |
![]() | BR_linprog.m | 2019-02-22 15:37 | 1.2K | |
![]() | BR_incon.m | 2019-02-24 10:40 | 1.4K | |
![]() | BR_drive_incon.m | 2019-02-24 13:43 | 240 | |
![]() | BR_incon_rand.m | 2019-02-24 13:57 | 1.0K | |
![]() | BR_pt_in_poly.m | 2019-02-24 14:24 | 147 | |
![]() | BR_incon_rand1s.m | 2019-02-24 15:40 | 1.2K | |
![]() | BR_drive_incon1s.m | 2019-02-24 16:11 | 513 | |
![]() | hybkb | 2019-02-24 16:13 | 29 | |
![]() | BR_unfold.m | 2019-02-25 12:44 | 1.6K | |
![]() | BR_2Dprobe.m | 2019-02-25 14:28 | 641 | |
![]() | BR_2Dprobe3.m | 2019-02-25 15:48 | 1.5K | |
![]() | BR_ind2cc.m | 2019-03-16 10:47 | 291 | |
![]() | ejay.mat | 2019-04-11 13:36 | 80K | |
![]() | KBi.m | 2019-04-11 13:39 | 1.9K | |
![]() | KBis.m | 2019-04-11 13:39 | 1.9K | |
![]() | KBti.m | 2019-04-11 14:03 | 1.9K | |
![]() | KBtis.m | 2019-04-11 14:03 | 2.0K | |
![]() | KBfi.m | 2019-04-16 16:54 | 242 | |
![]() | KBfis.m | 2019-04-16 16:54 | 260 | |
![]() | KBfg.m | 2019-04-16 16:55 | 731 | |
![]() | gurobi8.1.0_linux64.tar.gz | 2019-04-24 09:32 | 55M | |
![]() | tch1 | 2020-01-30 14:15 | 2 | |
![]() | BR_CNF_3CNF.m | 2020-07-19 12:08 | 331 | |
![]() | sc2002benchs.zip | 2021-07-13 15:43 | 405M | |
![]() | A4SAT/ | 2022-05-19 11:30 | - | |