scientific article; zbMATH DE number 3029852
From MaRDI portal
Publication:5769706
Cited in
(32)- Polynomial-time inference of all valid implications for Horn and related formulae
- Resolution lower bounds for the weak functional pigeonhole principle.
- Convexity and logical analysis of data
- A note about k-DNF resolution
- Boolean function minimization in the class of disjunctive normal forms
- A general method for deciding about logically constrained issues
- On connected Boolean functions
- Space proof complexity for random 3-CNFs
- Nullstellensatz size-degree trade-offs from reversible pebbling
- Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search
- Logical analysis of data -- the vision of Peter L. Hammer
- On propositional definability
- Strong ETH and resolution via games and the multiplicity of strategies
- Comprehensive vs. comprehensible classifiers in logical analysis of data
- Spanned patterns for the logical analysis of data
- Boolean function metrics can assist modelers to check and choose logical rules
- A framework for space complexity in algebraic proof systems
- Trade-offs between time and memory in a tighter model of CDCL SAT solvers
- McColl and minimization
- Prominent classes of the most general subsumptive solutions of Boolean equations
- Nullstellensatz size-degree trade-offs from reversible pebbling
- scientific article; zbMATH DE number 7561756 (Why is no real title available?)
- On CDCL-Based Proof Systems with the Ordered Decision Strategy
- Supercritical space-width trade-offs for resolution
- Narrow proofs may be maximally long
- MaxSAT Resolution and Subcube Sums
- Parameterized complexity of DPLL search procedures
- Rough sets: past, present, and future
- Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
- Consensus algorithms for the generation of all maximal bicliques
- Group cancellation and resolution
- Proof complexity of modal resolution
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5769706)
