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