JBool

This software promotes some general and useful tools for handling, editing and computing (on) Boolean Functions defined either by conjonctive normal forms (clausal) or by disjonctive ones. Boolean Functions: Theory, Algorithms and Applications, Y. Crama and P.L. Hammer (Ed.) (2011) Appendix C

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 96 articles )

Showing results 1 to 20 of 96.
Sorted by year (citations)

1 2 3 4 5 next

  1. Abou-Jaoudé, Wassim; Monteiro, Pedro T.: On logical bifurcation diagrams (2019)
  2. Boros, Endre; Gurvich, Vladimir; Milanič, Martin: Decomposing 1-Sperner hypergraphs (2019)
  3. Bruni, Renato; Bianchi, Gianpiero; Dolente, Cosimo; Leporelli, Claudio: Logical analysis of data as a tool for the analysis of probabilistic discrete choice behavior (2019)
  4. Buchheim, Christoph; Crama, Yves; Rodríguez-Heck, Elisabeth: Berge-acyclic multilinear 0-1 optimization problems (2019)
  5. Chiarelli, Nina; Milanič, Martin: Linear separation of connected dominating sets in graphs (2019)
  6. Hitchcock, John M.; Sekoni, Adewale: Nondeterminisic sublinear time has measure 0 in P (2019)
  7. Hodžić, S.; Pasalic, E.; Chattopadhyay, A.: An iterative method for linear decomposition of index generating functions (2019)
  8. Kučera, Petr; Savický, Petr; Vorel, Vojtěch: A lower bound on CNF encodings of the at-most-one constraint (2019)
  9. Bach, Eric; Dusart, Jérémie; Hellerstein, Lisa; Kletenik, Devorah: Submodular goal value of Boolean functions (2018)
  10. Boros, Endre; Gurvich, Vladimir; Milanič, Martin; Oudalov, Vladimir; Vičič, Jernej: A three-person deterministic graphical game without Nash equilibria (2018)
  11. Brabant, Quentin; Couceiro, Miguel: (k)-maxitive Sugeno integrals as aggregation models for ordinal preferences (2018)
  12. Can, Yavuz: Disjointed sum of products by a novel technique of orthogonalizing ORing (2018)
  13. Carlet, Claude: On the nonlinearity of monotone Boolean functions (2018)
  14. Gurvich, Vladimir; Koshevoy, Gleb: Monotone bargaining is Nash-solvable (2018)
  15. Ji, Ran; Lejeune, Miguel A.: Risk-budgeting multi-portfolio optimization with portfolio and marginal risk constraints (2018)
  16. Kaniovski, Serguei; Kurz, Sascha: Representation-compatible power indices (2018)
  17. Kimura, Kei; Makino, Kazuhisa: Autark assignments of Horn CNFs (2018)
  18. Lozin, Vadim; Razgon, Igor; Zamaraev, Viktor; Zamaraeva, Elena; Zolotykh, Nikolai: Linear read-once and related Boolean functions (2018)
  19. Movsisyan, Yu. M.: Hyperidentities and related concepts. II (2018)
  20. Spinelli, Vincenzo: Extended box clustering for classification problems (2018)

1 2 3 4 5 next