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

Showing results 1 to 20 of 79.
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. Carlet, Claude: On the nonlinearity of monotone Boolean functions (2018)
  5. Kaniovski, Serguei; Kurz, Sascha: Representation-compatible power indices (2018)
  6. Kimura, Kei; Makino, Kazuhisa: Autark assignments of Horn CNFs (2018)
  7. Spinelli, Vincenzo: Extended box clustering for classification problems (2018)
  8. Al-Saedi, Balasim; Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar: About some UP-based polynomial fragments of SAT (2017)
  9. Anthony, Martin; Boros, Endre; Crama, Yves; Gruber, Aritanan: Quadratic reformulations of nonlinear binary optimization problems (2017)
  10. Horváth, Eszter K.; Šešelja, Branimir; Tepavčević, Andreja: Cut approach to invariance groups of lattice-valued functions (2017)
  11. Kolmogorov, Vladimir; Krokhin, Andrei; Rolínek, Michal: The complexity of general-valued CSPs (2017)
  12. Korenblit, M.: Decomposition methods for generating algebraic expressions of full square rhomboids and other graphs (2017)
  13. Korenblit, Mark: On algebraic expressions of directed grid graphs (2017)
  14. Korenblit, Mark; Levit, Vadim E.: Estimation of expressions’ complexities for two-terminal directed acyclic graphs (2017)
  15. 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)
  16. Li, Haitao; Wang, Yuzhen: Lyapunov-based stability and construction of Lyapunov functions for Boolean networks (2017)
  17. Marques-Silva, Joao; Janota, Mikoláš; Mencía, Carlos: Minimal sets on propositional formulae. problems and reductions (2017)
  18. Movsisyan, Yu. M.: Hyperidentities and related concepts. I (2017)
  19. Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph: Dirichlet product for Boolean functions (2017)
  20. Pasalic, E.; Chattopadhyay, A.; Chowdhury, D.: An analysis of root functions -- a subclass of the impossible class of faulty functions (ICFF) (2017)

1 2 3 4 next