Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
parity-learning.mzn | 20-Nov-2013 19:44 | 2.9K | ||
52_26_6.3_support.wcnf.xz | 20-Nov-2013 19:44 | 115K | ||
52_26_6.3_support.lp.xz | 20-Nov-2013 19:44 | 92K | ||
52_26_6.3_direct.wcnf.xz | 20-Nov-2013 19:44 | 92K | ||
52_26_6.3_direct.lp.xz | 20-Nov-2013 19:44 | 206K | ||
52_26_6.3.wcsp.xz | 20-Nov-2013 19:44 | 11K | ||
52_26_6.3.uai.xz | 20-Nov-2013 19:44 | 3.9K | ||
52_26_6.3.uai.evid | 20-Nov-2013 19:44 | 2 | ||
52_26_6.3.dzn.xz | 20-Nov-2013 19:44 | 704 | ||
52_26_6.2_support.wcnf.xz | 20-Nov-2013 19:44 | 109K | ||
52_26_6.2_support.lp.xz | 20-Nov-2013 19:44 | 87K | ||
52_26_6.2_direct.wcnf.xz | 20-Nov-2013 19:44 | 84K | ||
52_26_6.2_direct.lp.xz | 20-Nov-2013 19:44 | 183K | ||
52_26_6.2.wcsp.xz | 20-Nov-2013 19:44 | 9.7K | ||
52_26_6.2.uai.xz | 20-Nov-2013 19:44 | 3.7K | ||
52_26_6.2.uai.evid | 20-Nov-2013 19:44 | 2 | ||
52_26_6.2.dzn.xz | 20-Nov-2013 19:44 | 708 | ||
52_26_6.1_support.wcnf.xz | 20-Nov-2013 19:44 | 108K | ||
52_26_6.1_support.lp.xz | 20-Nov-2013 19:44 | 87K | ||
52_26_6.1_direct.wcnf.xz | 20-Nov-2013 19:44 | 85K | ||
52_26_6.1_direct.lp.xz | 20-Nov-2013 19:44 | 185K | ||
52_26_6.1.wcsp.xz | 20-Nov-2013 19:44 | 10K | ||
52_26_6.1.uai.xz | 20-Nov-2013 19:44 | 3.8K | ||
52_26_6.1.uai.evid | 20-Nov-2013 19:44 | 2 | ||
52_26_6.1.dzn.xz | 20-Nov-2013 19:44 | 708 | ||
48_24_6.2_support.wcnf.xz | 20-Nov-2013 19:44 | 92K | ||
48_24_6.2_support.lp.xz | 20-Nov-2013 19:44 | 74K | ||
48_24_6.2_direct.wcnf.xz | 20-Nov-2013 19:44 | 72K | ||
48_24_6.2_direct.lp.xz | 20-Nov-2013 19:44 | 151K | ||
48_24_6.2.wcsp.xz | 20-Nov-2013 19:44 | 9.4K | ||
48_24_6.2.uai.xz | 20-Nov-2013 19:44 | 3.4K | ||
48_24_6.2.uai.evid | 20-Nov-2013 19:44 | 2 | ||
48_24_6.2.dzn.xz | 20-Nov-2013 19:44 | 640 | ||
48_24_6.1_support.wcnf.xz | 20-Nov-2013 19:44 | 89K | ||
48_24_6.1_support.lp.xz | 20-Nov-2013 19:44 | 72K | ||
48_24_6.1_direct.wcnf.xz | 20-Nov-2013 19:44 | 69K | ||
48_24_6.1_direct.lp.xz | 20-Nov-2013 19:44 | 140K | ||
48_24_6.1.wcsp.xz | 20-Nov-2013 19:44 | 9.3K | ||
48_24_6.1.uai.xz | 20-Nov-2013 19:44 | 3.3K | ||
48_24_6.1.uai.evid | 20-Nov-2013 19:44 | 2 | ||
48_24_6.1.dzn.xz | 20-Nov-2013 19:44 | 628 | ||
44_22_5.3_support.wcnf.xz | 20-Nov-2013 19:44 | 65K | ||
44_22_5.3_support.lp.xz | 20-Nov-2013 19:44 | 54K | ||
44_22_5.3_direct.wcnf.xz | 20-Nov-2013 19:44 | 49K | ||
44_22_5.3_direct.lp.xz | 20-Nov-2013 19:44 | 95K | ||
44_22_5.3.wcsp.xz | 20-Nov-2013 19:44 | 6.9K | ||
44_22_5.3.uai.xz | 20-Nov-2013 19:44 | 2.7K | ||
44_22_5.3.uai.evid | 20-Nov-2013 19:44 | 2 | ||
44_22_5.3.dzn.xz | 20-Nov-2013 19:44 | 576 | ||
44_22_5.2_support.wcnf.xz | 20-Nov-2013 19:44 | 78K | ||
44_22_5.2_support.lp.xz | 20-Nov-2013 19:44 | 62K | ||
44_22_5.2_direct.wcnf.xz | 20-Nov-2013 19:44 | 61K | ||
44_22_5.2_direct.lp.xz | 20-Nov-2013 19:44 | 114K | ||
44_22_5.2.wcsp.xz | 20-Nov-2013 19:44 | 7.4K | ||
44_22_5.2.uai.xz | 20-Nov-2013 19:44 | 2.9K | ||
44_22_5.2.uai.evid | 20-Nov-2013 19:44 | 2 | ||
44_22_5.2.dzn.xz | 20-Nov-2013 19:44 | 572 | ||