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