References in zbMATH (referenced in 124 articles )

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

1 2 3 ... 5 6 7 next

  1. Bérczi, Kristóf; Boros, Endre; Čepek, Ondřej; Kučera, Petr; Makino, Kazuhisa: Approximating minimum representations of key Horn functions (2022)
  2. Brenner, Ulrich; Silvanus, Anna; Silvanus, Jannik: Constructing depth-optimum circuits for adders and \textscAnd-\textscOrpaths (2022)
  3. Crawford-Kahrl, Peter; Cummins, Bree; Gedeon, Tomáš: Joint realizability of monotone Boolean functions (2022)
  4. Fischer, Anja; Fischer, Frank; McCormick, S. Thomas: Matroid optimization problems with monotone monomials in the objective (2022)
  5. Jukna, Stasys; Lingas, Andrzej: Lower bounds for Boolean circuits of bounded negation width (2022)
  6. Kettunen, Janne; Lejeune, Miguel A.: Data-driven project portfolio selection: decision-dependent stochastic programming formulations with reliability and time to market requirements (2022)
  7. Korenblit, Mark; Levit, Vadim E.: On lengths of edge-labeled graph expressions (2022)
  8. Movsisyan, Yu. M.: Boole-De Morgan bilattices (2022)
  9. Zobolas, John; Monteiro, Pedro T.; Kuiper, Martin; Flobak, Åsmund: Boolean function metrics can assist modelers to check and choose logical rules (2022)
  10. Defrain, Oscar; Nourine, Lhouari; Vilmin, Simon: Translating between the representations of a ranked convex geometry (2021)
  11. Ganian, Robert; Szeider, Stefan: New width parameters for SAT and #SAT (2021)
  12. Hermann, Miki; Salzer, Gernot: MCP: capturing big data by satisfiability (tool description) (2021)
  13. Ismagilov, Niyaz; Borovitskiy, Viacheslav; Lifshits, Mikhail; Platonova, Mariia: Boolean spectral analysis in categorical reservoir modeling (2021)
  14. Jukna, Stasys: Notes on hazard-free circuits (2021)
  15. Kaftan, D. V.: Testing read-once functions in a median-augmented element basis (2021)
  16. Lozin, Vadim; Moshkov, Mikhail: Critical properties and complexity measures of read-once Boolean functions (2021)
  17. Plischke, Elmar; Rabitti, Giovanni; Borgonovo, Emanuele: Computing Shapley effects for sensitivity analysis (2021)
  18. Boros, Endre; Crama, Yves; Rodríguez-Heck, Elisabeth: Compact quadratizations for pseudo-Boolean functions (2020)
  19. Couceiro, Miguel; Lehtonen, Erkko; Mercuriali, Pierre; Péchoux, Romain: On the efficiency of normal form systems for representing Boolean functions (2020)
  20. Emelyanov, Pavel; Ponomaryov, Denis: The complexity of AND-decomposition of Boolean functions (2020)

1 2 3 ... 5 6 7 next