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
References in zbMATH (referenced in 85 articles )
Showing results 1 to 20 of 85.
Sorted by year (- Buchheim, Christoph; Crama, Yves; Rodríguez-Heck, Elisabeth: Berge-acyclic multilinear 0-1 optimization problems (2019)
- Bach, Eric; Dusart, Jérémie; Hellerstein, Lisa; Kletenik, Devorah: Submodular goal value of Boolean functions (2018)
- Boros, Endre; Gurvich, Vladimir; Milanič, Martin; Oudalov, Vladimir; Vičič, Jernej: A three-person deterministic graphical game without Nash equilibria (2018)
- Brabant, Quentin; Couceiro, Miguel: $k$-maxitive Sugeno integrals as aggregation models for ordinal preferences (2018)
- Can, Yavuz: Disjointed sum of products by a novel technique of orthogonalizing ORing (2018)
- Carlet, Claude: On the nonlinearity of monotone Boolean functions (2018)
- Gurvich, Vladimir; Koshevoy, Gleb: Monotone bargaining is Nash-solvable (2018)
- Ji, Ran; Lejeune, Miguel A.: Risk-budgeting multi-portfolio optimization with portfolio and marginal risk constraints (2018)
- Kaniovski, Serguei; Kurz, Sascha: Representation-compatible power indices (2018)
- Kimura, Kei; Makino, Kazuhisa: Autark assignments of Horn CNFs (2018)
- Lozin, Vadim; Razgon, Igor; Zamaraev, Viktor; Zamaraeva, Elena; Zolotykh, Nikolai: Linear read-once and related Boolean functions (2018)
- Spinelli, Vincenzo: Extended box clustering for classification problems (2018)
- Stearns, Richard E.; Rosenkrantz, Daniel J.; Ravi, S. S.; Marathe, Madhav V.: A characterization of nested canalyzing functions with maximum average sensitivity (2018)
- Al-Saedi, Balasim; Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar: About some UP-based polynomial fragments of SAT (2017)
- Anthony, Martin; Boros, Endre; Crama, Yves; Gruber, Aritanan: Quadratic reformulations of nonlinear binary optimization problems (2017)
- Horváth, Eszter K.; Šešelja, Branimir; Tepavčević, Andreja: Cut approach to invariance groups of lattice-valued functions (2017)
- Kolmogorov, Vladimir; Krokhin, Andrei; Rolínek, Michal: The complexity of general-valued CSPs (2017)
- Korenblit, M.: Decomposition methods for generating algebraic expressions of full square rhomboids and other graphs (2017)
- Korenblit, Mark: On algebraic expressions of directed grid graphs (2017)
- Korenblit, Mark; Levit, Vadim E.: Estimation of expressions’ complexities for two-terminal directed acyclic graphs (2017)