References in zbMATH (referenced in 46 articles )

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

1 2 3 next

  1. Al-Saedi, Balasim; Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar: About some UP-based polynomial fragments of SAT (2017)
  2. Toda, Takahisa: Dualization of Boolean functions using ternary decision diagrams (2017)
  3. Anthony, Martin; Boros, Endre; Crama, Yves; Gruber, Aritanan: Quadratization of symmetric pseudo-Boolean functions (2016)
  4. Aslanyan, V.A.: Characterization of zigzag De Morgan functions (2016)
  5. Borgonovo, Emanuele; Aliee, Hananeh; Glaß, Michael; Teich, Jürgen: A new time-independent reliability importance measure (2016)
  6. Chikalov, Igor; Hussain, Shahid; Moshkov, Mikhail: Totally optimal decision trees for Boolean functions (2016)
  7. Lejeune, Miguel A.; Margot, François: Solving chance-constrained optimization problems with stochastic quadratic inequalities (2016)
  8. Lejeune, Miguel A.; Shen, Siqian: Multi-objective probabilistically constrained programs with variable risk: models for multi-portfolio financial optimization (2016)
  9. Blais, Eric; Tan, Li-Yang: Approximating Boolean functions with depth-2 circuits (2015)
  10. Boros, Endre; Gurvich, Vladimir: Sandwich problem for $\varPi$- and $\varDelta$-free multigraphs and its applications to positional games (2015)
  11. Chiarelli, Nina; Milanič, Martin: On a class of graphs between threshold and total domishold graphs (2015)
  12. 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)
  13. Molinero, Xavier; Riquelme, Fabián; Serna, Maria: Forms of representation for simple games: sizes, conversions and equivalences (2015)
  14. Peters, Hans; Schröder, Marc; Vermeulen, Dries: On existence of ex post Nash consistent representation for effectivity functions (2015)
  15. Boros, Endre; Gruber, Aritanan: Hardness results for approximate pure Horn CNF formulae minimization (2014)
  16. Chiarelli, Nina; Milanič, Martin: Total domishold graphs: a generalization of threshold graphs, with connections to threshold hypergraphs (2014)
  17. Gwynne, Matthew; Kullmann, Oliver: Generalising unit-refutation completeness and SLUR via nested input resolution (2014)
  18. Kogan, Alexander; Lejeune, Miguel A.: Threshold Boolean form for joint probabilistic constraints with random technology matrix (2014)
  19. Kordy, Barbara; Mauw, Sjouke; Radomirović, Saša; Schweitzer, Patrick: Attack-defense trees (2014)
  20. Movsisyan, Yu.M.; Aslanyan, V.A.: A functional completeness theorem for De Morgan functions. (2014)

1 2 3 next