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 71 articles )

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

1 2 3 4 next

  1. Bach, Eric; Dusart, Jérémie; Hellerstein, Lisa; Kletenik, Devorah: Submodular goal value of Boolean functions (2018)
  2. Al-Saedi, Balasim; Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar: About some UP-based polynomial fragments of SAT (2017)
  3. Anthony, Martin; Boros, Endre; Crama, Yves; Gruber, Aritanan: Quadratic reformulations of nonlinear binary optimization problems (2017)
  4. Horváth, Eszter K.; Šešelja, Branimir; Tepavčević, Andreja: Cut approach to invariance groups of lattice-valued functions (2017)
  5. Kolmogorov, Vladimir; Krokhin, Andrei; Rolínek, Michal: The complexity of general-valued CSPs (2017)
  6. Korenblit, M.: Decomposition methods for generating algebraic expressions of full square rhomboids and other graphs (2017)
  7. Korenblit, Mark: On algebraic expressions of directed grid graphs (2017)
  8. La Cour, Brian R.; Ostrove, Corey I.: Subspace projection method for unstructured searches with noisy quantum oracles using a signal-based quantum emulation device (2017)
  9. Li, Haitao; Wang, Yuzhen: Lyapunov-based stability and construction of Lyapunov functions for Boolean networks (2017)
  10. Marques-Silva, Joao; Janota, Mikoláš; Mencía, Carlos: Minimal sets on propositional formulae. problems and reductions (2017)
  11. Movsisyan, Yu. M.: Hyperidentities and related concepts. I (2017)
  12. Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph: Dirichlet product for Boolean functions (2017)
  13. Ramalingam, Srikumar; Russell, Chris; Ladický, L’ubor; Torr, Philip H.S.: Efficient minimization of higher order submodular functions using monotonic Boolean functions (2017)
  14. Thapper, Johan; Živný, Stanislav: The power of Sherali-Adams relaxations for general-valued CSPs (2017)
  15. Toda, Takahisa: Dualization of Boolean functions using ternary decision diagrams (2017)
  16. Tournier, Laurent; Goelzer, Anne; Fromion, Vincent: Optimal resource allocation enables mathematical exploration of microbial metabolic configurations (2017)
  17. Uyanık, Eda; Sobrie, Olivier; Mousseau, Vincent; Pirlot, Marc: Enumerating and categorizing positive Boolean functions separable by a $k$-additive capacity (2017)
  18. Yoshikawa, Hiyori; Hirai, Hiroshi; Makino, Kazuhisa: A representation of antimatroids by Horn rules and its application to educational systems (2017)
  19. Anthony, Martin; Boros, Endre; Crama, Yves; Gruber, Aritanan: Quadratization of symmetric pseudo-Boolean functions (2016)
  20. Aslanyan, V.A.: Characterization of zigzag De Morgan functions (2016)

1 2 3 4 next