Found 14 Documents (Results 1–14)
Bijunctive Boolean functions, graphs of 2-CNF and their order functions. Estimates of weight of a bijunctive function with a given number of layers. (Russian. English summary) Zbl 1475.94221
MSC:
94D10
Two methods of estimation of Boolean bijunctive function weights. (Russian. English summary) Zbl 1481.94170
MSC:
94D10
Investigation of some subclasses of multiaffine, bijunctive, weakly positive and weakly negative Boolean functions. (Russian. English summary) Zbl 1476.94067
MSC:
94D10
Functions from Schaefer classes having negations belonging to other Schaefer classes. (Russian. English summary) Zbl 1476.94066
MSC:
94D10
Properties of generator systems of universal algebras generated by Boolean bijunctive functions. (Russian. English summary) Zbl 1477.08009
Generalized \(k\)-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation. (English) Zbl 1252.05152
A satisfiability-based approach for embedding generalized tanglegrams on level graphs. (English) Zbl 1330.68225
Sakallah, Karem A. (ed.) et al., Theory and applications of satisfiability testing – SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21580-3/pbk). Lecture Notes in Computer Science 6695, 134-144 (2011).
Random 2-SAT: Results and problems. (English) Zbl 0983.68080
MSC:
68Q25
A remark on random 2-SAT. (English) Zbl 0937.68148
MSC:
68W05
On 2-QBF truth testing in parallel. (English) Zbl 1022.68737
MSC:
68W10
Filter Results by …
Document Type
- Journal Articles (13)
- Collection Articles (1)
all
top 5
Author
- Tarasov, Alexey V. (3)
- Gorshkov, S. P. (2)
- Porschen, Stefan (2)
- Speckenmeyer, Ewald (2)
- Wotzlaw, Andreas (2)
- Aspvall, Bengt (1)
- Cameron, Kathie (1)
- Chen, Zhizhong (1)
- de Panafieu, Elie (1)
- Dovgal, Sergey (1)
- Fernandez de la Vega, Wenceslas (1)
- Goerdt, Andreas (1)
- Levcopoulos, Christos (1)
- Lingas, Andrzej (1)
- Ravelomanana, Vlady (1)
- Storlind, Robert (1)
- Verhoeven, Yann (1)