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

References in zbMATH (referenced in 39 articles )

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

1 2 next

  1. Anthony, Martin; Boros, Endre; Crama, Yves; Gruber, Aritanan: Quadratization of symmetric pseudo-Boolean functions (2016)
  2. Aslanyan, V.A.: Characterization of zigzag De Morgan functions (2016)
  3. Blais, Eric; Tan, Li-Yang: Approximating Boolean functions with depth-2 circuits (2015)
  4. Boros, Endre; Gurvich, Vladimir: Sandwich problem for $\varPi$- and $\varDelta$-free multigraphs and its applications to positional games (2015)
  5. Chiarelli, Nina; Milanič, Martin: On a class of graphs between threshold and total domishold graphs (2015)
  6. Horváth, Eszter K.; Makay, Géza; Pöschel, Reinhard; Waldhauser, Tamás: Invariance groups of finite functions and orbit equivalence of permutation groups. (2015)
  7. Molinero, Xavier; Riquelme, Fabián; Serna, Maria: Forms of representation for simple games: sizes, conversions and equivalences (2015)
  8. Peters, Hans; Schröder, Marc; Vermeulen, Dries: On existence of ex post Nash consistent representation for effectivity functions (2015)
  9. Boros, Endre; Gruber, Aritanan: Hardness results for approximate pure Horn CNF formulae minimization (2014)
  10. Chiarelli, Nina; Milanič, Martin: Total domishold graphs: a generalization of threshold graphs, with connections to threshold hypergraphs (2014)
  11. Gwynne, Matthew; Kullmann, Oliver: Generalising unit-refutation completeness and SLUR via nested input resolution (2014)
  12. Kogan, Alexander; Lejeune, Miguel A.: Threshold Boolean form for joint probabilistic constraints with random technology matrix (2014)
  13. Kordy, Barbara; Mauw, Sjouke; Radomirović, Saša; Schweitzer, Patrick: Attack-defense trees (2014)
  14. Movsisyan, Yu.M.; Aslanyan, V.A.: A functional completeness theorem for De Morgan functions. (2014)
  15. Movsisyan, Yu.M.; Aslanyan, V.A.: De Morgan functions and free De Morgan algebras. (2014)
  16. Stephen, Tamon; Yusun, Timothy: Counting inequivalent monotone Boolean functions. (2014)
  17. Todo, Yuki; Tamura, Hiroki; Yamashita, Kazuya; Tang, Zheng: Unsupervised learnable neuron model with nonlinear interaction on dendrites (2014)
  18. Čepek, Ondřej; Kučera, Petr; Kuřík, Stanislav: Boolean functions with long prime implicants (2013)
  19. Kullmann, Oliver; Zhao, Xishun: On Davis-Putnam reductions for minimally unsatisfiable clause-sets (2013)
  20. Nehama, Ilan: Approximately classic judgement aggregation (2013)

1 2 next