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

Showing results 1 to 20 of 76.
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. Boros, Endre; Gurvich, Vladimir; Milanič, Martin; Oudalov, Vladimir; Vičič, Jernej: A three-person deterministic graphical game without Nash equilibria (2018)
  3. Can, Yavuz: Disjointed sum of products by a novel technique of orthogonalizing ORing (2018)
  4. Kaniovski, Serguei; Kurz, Sascha: Representation-compatible power indices (2018)
  5. Kimura, Kei; Makino, Kazuhisa: Autark assignments of Horn CNFs (2018)
  6. Al-Saedi, Balasim; Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar: About some UP-based polynomial fragments of SAT (2017)
  7. Anthony, Martin; Boros, Endre; Crama, Yves; Gruber, Aritanan: Quadratic reformulations of nonlinear binary optimization problems (2017)
  8. Horváth, Eszter K.; Šešelja, Branimir; Tepavčević, Andreja: Cut approach to invariance groups of lattice-valued functions (2017)
  9. Kolmogorov, Vladimir; Krokhin, Andrei; Rolínek, Michal: The complexity of general-valued CSPs (2017)
  10. Korenblit, M.: Decomposition methods for generating algebraic expressions of full square rhomboids and other graphs (2017)
  11. Korenblit, Mark: On algebraic expressions of directed grid graphs (2017)
  12. Korenblit, Mark; Levit, Vadim E.: Estimation of expressions’ complexities for two-terminal directed acyclic graphs (2017)
  13. 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)
  14. Li, Haitao; Wang, Yuzhen: Lyapunov-based stability and construction of Lyapunov functions for Boolean networks (2017)
  15. Marques-Silva, Joao; Janota, Mikoláš; Mencía, Carlos: Minimal sets on propositional formulae. problems and reductions (2017)
  16. Movsisyan, Yu. M.: Hyperidentities and related concepts. I (2017)
  17. Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph: Dirichlet product for Boolean functions (2017)
  18. Ramalingam, Srikumar; Russell, Chris; Ladický, L’ubor; Torr, Philip H. S.: Efficient minimization of higher order submodular functions using monotonic Boolean functions (2017)
  19. Thapper, Johan; Živný, Stanislav: The power of Sherali-Adams relaxations for general-valued CSPs (2017)
  20. Toda, Takahisa: Dualization of Boolean functions using ternary decision diagrams (2017)

1 2 3 4 next