1. 08 Nov, 2018 4 commits
  2. 25 Sep, 2018 3 commits
  3. 06 Feb, 2013 1 commit
  4. 17 May, 2011 1 commit
  5. 30 Jul, 2010 1 commit
  6. 29 Apr, 2010 3 commits
  7. 14 Jul, 2009 1 commit
    • Paul Maier's avatar
      These are a number of WCSPs derived from two model-based diagnosis and... · e1ed1888
      Paul Maier authored
      These are a number of WCSPs derived from two model-based diagnosis and planning problems. The first problem is, given a plan currently in execution and partial observations, to compute the plan's success probability (based on a probabilistic system model, hence the need for soft constraints). The second problem is to correctly diagnose a fault and robustly plan around this contingency within a hybrid system, i.e. a system modeled continuously (differential eq.) and discrete (stochastic automaton). The solution is to discretize the hybrid model, generating an abstract discrete model which can than be turned into a WCSP. See the problem description for a detailed account of the scenarios.
      e1ed1888
  8. 12 Jun, 2008 2 commits
  9. 04 Jun, 2008 1 commit
    • Paul Maier's avatar
      minor changes: · df3f006b
      Paul Maier authored
       * Tree Decomposition can now be used in conjunction with BEDA
       * before search, the lower bound found by BEDA is displayed
      df3f006b
  10. 05 May, 2008 1 commit
  11. 24 Apr, 2008 1 commit
  12. 23 Apr, 2008 1 commit
  13. 22 Apr, 2008 6 commits
  14. 03 Mar, 2008 1 commit
  15. 26 Feb, 2008 1 commit
  16. 22 Feb, 2008 3 commits
  17. 19 Feb, 2008 3 commits
  18. 22 Nov, 2007 1 commit
    • marti_sanchez's avatar
      3 benchs de recouvrement de rectangles dans images. · fe4901ce
      marti_sanchez authored
      le petit est resolu jusq'a l'optimum par vac!
      
           toulbar2 rectanglecoverS.wcsp 500000 C10000A10000
      
            Read 208 variables, with 10 values at most, and 595 constraints.
            Lb before VAC: 60000
            Preprocessing VAC mean lb/incr: 763.206     total increments: 131
            Lb after VAC: 159980
      
         et l'optimum c'est efectivement 16
      fe4901ce
  19. 12 Oct, 2007 1 commit
  20. 13 Jul, 2007 4 commits