References in zbMATH (referenced in 65 articles )

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

1 2 3 4 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. Anthony, Martin; Boros, Endre; Crama, Yves; Gruber, Aritanan: Quadratic reformulations of nonlinear binary optimization problems (2017)
  3. Kolmogorov, Vladimir; Krokhin, Andrei; Rolínek, Michal: The complexity of general-valued CSPs (2017)
  4. Korenblit, M.: Decomposition methods for generating algebraic expressions of full square rhomboids and other graphs (2017)
  5. 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)
  6. Marques-Silva, Joao; Janota, Mikoláš; Mencía, Carlos: Minimal sets on propositional formulae. problems and reductions (2017)
  7. Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph: Dirichlet product for Boolean functions (2017)
  8. Ramalingam, Srikumar; Russell, Chris; Ladický, L’ubor; Torr, Philip H.S.: Efficient minimization of higher order submodular functions using monotonic Boolean functions (2017)
  9. Thapper, Johan; Živný, Stanislav: The power of Sherali-Adams relaxations for general-valued CSPs (2017)
  10. Toda, Takahisa: Dualization of Boolean functions using ternary decision diagrams (2017)
  11. Tournier, Laurent; Goelzer, Anne; Fromion, Vincent: Optimal resource allocation enables mathematical exploration of microbial metabolic configurations (2017)
  12. Uyanık, Eda; Sobrie, Olivier; Mousseau, Vincent; Pirlot, Marc: Enumerating and categorizing positive Boolean functions separable by a $k$-additive capacity (2017)
  13. Yoshikawa, Hiyori; Hirai, Hiroshi; Makino, Kazuhisa: A representation of antimatroids by Horn rules and its application to educational systems (2017)
  14. Anthony, Martin; Boros, Endre; Crama, Yves; Gruber, Aritanan: Quadratization of symmetric pseudo-Boolean functions (2016)
  15. Aslanyan, V.A.: Characterization of zigzag De Morgan functions (2016)
  16. Borgonovo, Emanuele; Aliee, Hananeh; Glaß, Michael; Teich, Jürgen: A new time-independent reliability importance measure (2016)
  17. Chikalov, Igor; Hussain, Shahid; Moshkov, Mikhail: Totally optimal decision trees for Boolean functions (2016)
  18. Das, Anupam; Straßburger, Lutz: On linear rewriting systems for Boolean logic and some applications to proof theory (2016)
  19. Lejeune, Miguel A.; Margot, François: Solving chance-constrained optimization problems with stochastic quadratic inequalities (2016)
  20. Lejeune, Miguel A.; Shen, Siqian: Multi-objective probabilistically constrained programs with variable risk: models for multi-portfolio financial optimization (2016)

1 2 3 4 next