Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Wagner, K. W."

Now showing items 1-2 of 2

    • Article  

      Weighted boolean formula games 

      Mavronicolas, Marios; Monien, Burkhard; Wagner, K. W. (2007)
      We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean formulas he wants to get satisfied. The boolean formulas of all players involve a ground set of ...
    • Article  

      Weighted Boolean formula games 

      Mavronicolas, Marios; Monien, Burkhard; Wagner, K. W. (2015)
      We introduce weighted boolean formula games (WBFG) as a new class of succinct games. Each player has a set of boolean formulas she wants to get satisfied