The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Boolean functions (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1962 (15) 1963-1966 (17) 1967-1971 (20) 1972-1975 (24) 1976-1977 (19) 1978-1980 (16) 1981-1983 (26) 1984-1985 (17) 1986-1987 (27) 1988 (16) 1989 (18) 1990 (24) 1991 (30) 1992 (32) 1993 (40) 1994 (49) 1995 (64) 1996 (54) 1997 (52) 1998 (66) 1999 (74) 2000 (72) 2001 (91) 2002 (78) 2003 (91) 2004 (87) 2005 (114) 2006 (137) 2007 (105) 2008 (98) 2009 (91) 2010 (78) 2011 (94) 2012 (74) 2013 (84) 2014 (94) 2015 (77) 2016 (79) 2017 (77) 2018 (86) 2019 (23)
Publication types (Num. hits)
article(1278) book(8) incollection(22) inproceedings(1113) phdthesis(8) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1591 occurrences of 661 keywords

Results
Found 2430 publication records. Showing 2430 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
95Chengxin Qu, Jennifer Seberry, Josef Pieprzyk On the Symmetric Property of Homogeneous Boolean Functions. Search on Bibsonomy ACISP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF S-box Theory, Cryptographically Strong Boolean Functions, Homogeneous Functions, Symmetric Functions
89Selçuk Kavut, Melek D. Yücel Generalized Rotation Symmetric and Dihedral Symmetric Boolean Functions - 9 Variable Boolean Functions with Nonlinearity 242. Search on Bibsonomy AAECC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Rotation symmetric boolean functions, dihedral symmetric boolean functions, nonlinearity
83Alioune Ngom, Corina Reischer, Ivan Stojmenovic Classification of Functions and Enumeration of Bases of Set Logic under Boolean Compositions. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF set logic bases enumeration, functions classification, Boolean compositions, r-valued set logic, n-tuples, B-maximal sets, set logic, one-place example function, one-place set logic functions, B-Sheffer functions, Boolean functions, Boolean functions, set theory, multivalued logic
74Enrico Macii, Massimo Poncino Using symbolic Rademacher-Walsh spectral transforms to evaluate the correlation between Boolean functions. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF symbolic Rademacher-Walsh spectral transforms, integer-valued functions, transform matrices, spectral representations, function correlation, ADD-based algorithm, memory occupation, Boolean functions, Boolean functions, finite state machines, logic design, execution time, Walsh functions, transform domain, symbolic techniques
72Matthias Krause 0001, Pavel Pudlák, Rüdiger Reischuk, Dieter van Melkebeek 06111 Abstracts Collection -- Complexity of Boolean Functions. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
72Claude Carlet The complexity of Boolean functions from cryptographic viewpoint. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
72Matthias Krause 0001, Dieter van Melkebeek, Pavel Pudlák, Rüdiger Reischuk 06111 Executive Summary -- Complexity of Boolean Functions. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
72Ken Sadohara On a Capacity Control Using Boolean Kernels for the Learning of Boolean Functions. Search on Bibsonomy ICDM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
71Yuriy Tarannikov, Peter Korolev, Anton Botev Autocorrelation Coefficients and Correlation Immunity of Boolean Functions. Search on Bibsonomy ASIACRYPT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF autocorrelation coefficients, global avalanche characteristics, Boolean functions, stream ciphers, resiliency, nonlinearity, bounds, balancedness, correlation immunity, Walsh Transform
70Hans Kleine Büning, Xishun Zhao On Models for Quantified Boolean Formulas. Search on Bibsonomy Logic versus Approximation The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, complexity, Boolean function, satisfiability, quantified Boolean formula
67Jacob M. Howe, Andy King Positive Boolean Functions as Multiheaded Clauses. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Boolean functions, interpretation, groundness analysis, (constraint) logic programs
66Na Li, Wen-Feng Qi Construction and Analysis of Boolean Functions of 2t+1 Variables with Maximum Algebraic Immunity. Search on Bibsonomy ASIACRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Boolean functions, resilience, nonlinearity, Algebraic attack, balancedness, algebraic immunity
66Alioune Ngom, Corina Reischer, Dan A. Simovici, Ivan Stojmenovic Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF completeness criteria, set-valued logic, Boolean completeness problems, r-valued set logic, logic of functions, n-tuples, set logic circuits, S-complete, U-maximal sets, completeness criterion, U functions, compositions, Boolean functions, Boolean functions, intersection, union
65Amr M. Youssef, Guang Gong Boolean Functions with Large Distance to All Bijective Monomials: N Odd Case. Search on Bibsonomy Selected Areas in Cryptography The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hyper-bent functions, extended Hadamard transform, Legendre sequences, Boolean functions, nonlinearity
65Claude Carlet, Khoongming Khoo, Chu-Wee Lim, Chuan-Wen Loe Generalized Correlation Analysis of Vectorial Boolean Functions. Search on Bibsonomy FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Vectorial Boolean Functions, Unrestricted Nonlinearity, Resiliency
65Selçuk Kavut, Melek D. Yücel Improved Cost Function in the Design of Boolean Functions Satisfying Multiple Criteria. Search on Bibsonomy INDOCRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF bent Boolean functions, Simulated annealing, nonlinearity, autocorrelation, Walsh-Hadamard transforms
64Vishwani D. Agrawal, David Lee Characteristic polynomial method for verification and test of combinational circuits. Search on Bibsonomy VLSI Design The full citation details ... 1996 DBLP  DOI  BibTeX  RDF combinational circuit test, randomly selected integers, input variables, integer-valued transform functions, fixed domain, multiple samples, randomly selected real numbers, output logic, logic testing, probability, Boolean functions, Boolean functions, combinational circuits, polynomials, error probability, characteristic polynomial
63Mustafa Altun, Marc D. Riedel Lattice-based computation of Boolean functions. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF lattice duality, Boolean functions, lattices, switching circuits
63P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh Variable Order Verification Use of Logic Representation. Search on Bibsonomy ICADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
63Daya Ram Gaur, Ramesh Krishnamurti Average Case Self-Duality of Monotone Boolean Functions. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Machine Learning, Knowledge Representation, Satisfiability, Self-duality, Monotone Boolean Functions
62Guoli Ding, Jianhua Chen, Robert F. Lax, Peter P. Chen Efficient Learning of Pseudo-Boolean Functions from Limited Training Data. Search on Bibsonomy ISMIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
62Amelia Shen, Srinivas Devadas, Abhijit Ghosh Probabilistic manipulation of Boolean functions using free Boolean diagrams. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
59Matthias Krause 0001, Pavel Pudlák, Rüdiger Reischuk, Dieter van Melkebeek (eds.) Complexity of Boolean Functions, 12.03. - 17.03.2006 Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Stasys Jukna Graphs and Circuits: Some Further Remarks. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Andreas Jakoby, Maciej Liskiewicz, Aleksander Madry Using Quantum Oblivious Transfer to Cheat Sensitive Quantum Bit Commitment. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Eike Kiltz, Enav Weinreb Secure Linear Algebra Using Linearly Recurrent Sequences. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Marcin Gomulkiewicz, Miroslaw Kutylowski, Pawel Wlaz Fault Jumping Attacks against Shrinking Generator. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Alexander E. Andreev, Stasys Jukna Very Large Cliques are Easy to Detect. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Alexander E. Andreev The optimal sequence compression. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Anna Gál, Pierre McKenzie, Michal Koucký Incremental branching programs. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Emanuele Viola On Probabilistic Time versus Alternating Time. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Masahito Hayashi, Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita Quantum Network Coding. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Eric Allender, Peter Bürgisser, Johan Kjeldgaard-Pedersen, Peter Bro Miltersen On the Complexity of Numerical Analysis. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Dieter van Melkebeek, Konstantin Pervyshev A Generic Time Hierarchy for Semantic Models With One Bit of Advice. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Scott Diehl, Dieter van Melkebeek Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Jan Arpe, Bodo Manthey Approximability of Minimum AND-Circuits. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Andreas Jakoby, Till Tantau Computing Shortest Paths in Series-Parallel Graphs in Logarithmic Space. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Anna Gál, Peter Bro Miltersen The Cell Probe Complexity of Succinct Data Structures. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Jeff Ford, Anna Gál Hadamard Tensors and Lower Bounds on Multiparty Communication Complexity. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Frank J. Balbach, Thomas Zeugmann On the Teachability of Randomized Learners. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Martin Sauerhoff Quantum vs. Classical Read-Once Branching Programs. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Igor E. Shparlinski Bounds on the Fourier Coefficients of the Weighted Sum Function. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
59Frederik Armknecht, Matthias Krause 0001 Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF matroid union algorithm, boolean functions, algebraic attacks, Cryptographic primitives
59Selçuk Kavut, Subhamoy Maitra, Sumanta Sarkar, Melek D. Yücel Enumeration of 9-Variable Rotation Symmetric Boolean Functions Having Nonlinearity > 240. Search on Bibsonomy INDOCRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Boolean Functions, Nonlinearity, Reed-Muller Code, Covering Radius, Walsh Transform, Idempotents, Rotational Symmetry
58Kazuyuki Amano, Akira Maruoka On Learning Monotone Boolean Functions under the Uniform Distribution. Search on Bibsonomy ALT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
58Dan A. Simovici Several Remarks on Non-Boolean Functions over Boolean Algebras. Search on Bibsonomy ISMVL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Valery A. Vardanian On completely robust path delay fault testable realization of logic functions. Search on Bibsonomy VTS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF robust path delay fault testable realization, two-level completely RPDFT realization, RPDFT-extension, input variables, VLSI, VLSI, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, integrated circuit testing, combinational circuits, combinational circuits, multivalued logic circuits, symmetric functions
57Hans Kleine Büning, K. Subramani, Xishun Zhao Boolean Functions as Models for Quantified Boolean Formulas. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model, Complexity, Boolean function, Satisfiability, Propositional logic, Quantified Boolean formula
56Soumen Maity, Thomas Johansson 0001 Construction of Cryptographically Important Boolean Functions. Search on Bibsonomy INDOCRYPT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Perfectly nonlinear function, Boolean function, Stream cipher, Resiliency, Nonlinearity, Combinatorial problems, Balancedness, Correlation immunity, Bent function, Algebraic degree
56Selçuk Kavut, Subhamoy Maitra, Melek D. Yücel Search for Boolean Functions With Excellent Profiles in the Rotation Symmetric Class. Search on Bibsonomy IEEE Trans. Information Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Xian-Mo Zhang, Yuliang Zheng The Nonhomomorphicity of Boolean Functions. Search on Bibsonomy Selected Areas in Cryptography The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Nonhomomorphicity, Nonlinear Characteristics, Cryptography, Boolean Functions
54Jennifer Seberry, Xian-Mo Zhang, Yuliang Zheng Nonlinearly Balanced Boolean Functions and Their Propagation Characteristics (Extended Abstract). Search on Bibsonomy CRYPTO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
54Frederik Armknecht, Claude Carlet, Philippe Gaborit, Simon Künzli 0002, Willi Meier, Olivier Ruatta Efficient Computation of Algebraic Immunity for Algebraic and Fast Algebraic Attacks. Search on Bibsonomy EUROCRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fast Algebraic Attacks, Boolean Functions, Stream Ciphers, Algebraic Attacks, Symmetric Functions, Algebraic Degree
53Martin V. Butz, Martin Pelikan Studying XCS/BOA learning in Boolean functions: structure encoding and random Boolean functions. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bayesian networks, reinforcement learning, learning classifier systems, XCS
53Deepak Kumar Dalai, Kishan Chand Gupta, Subhamoy Maitra Results on Algebraic Immunity for Cryptographically Significant Boolean Functions. Search on Bibsonomy INDOCRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Walsh Spectra, Boolean Functions, Nonlinearity, Algebraic Attacks, Annihilators
53Ken Sadohara Learning of Boolean Functions Using Support Vector Machines. Search on Bibsonomy ALT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
53Hernán E. Aguirre, Hiroyuki Okazaki, Yasushi Fuwa An evolutionary multiobjective approach to design highly non-linear Boolean functions. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF non-linear Boolean functions, cryptography, information security, evolutionary multiobjective optimization
52Daiji Fukagawa, Tatsuya Akutsu Performance Analysis of a Greedy Algorithm for Inferring Boolean Functions. Search on Bibsonomy Discovery Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
52Peter Schachte, Harald Søndergaard Closure Operators for ROBDDs. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Alexander E. Andreev, Andrea E. F. Clementi, José D. P. Rolim Optimal Bounds on the Approximation of Boolean Functions with Consequences on the Concept of Hardware. Search on Bibsonomy STACS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
51Claude Carlet, Deepak Kumar Dalai, Kishan Chand Gupta, Subhamoy Maitra Algebraic Immunity for Cryptographically Significant Boolean Functions: Analysis and Construction. Search on Bibsonomy IEEE Trans. Information Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Khoongming Khoo, Guang Gong New Constructions for Resilient and Highly Nonlinear Boolean Functions. Search on Bibsonomy ACISP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Susanto Rahardja, Bogdan J. Falkowski Family of Complex Hadamard Transforms: Relationship with Other Transforms and Complex Composite Spectra. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF complex Hadamard transforms, complex composite spectra, binary logic design, complex Hadamard matrices, convolution operation, complex convolution, Boolean functions, codings, Hadamard transforms, multiple-valued logic design
50Palash Sarkar 0001, Subhamoy Maitra Nonlinearity Bounds and Constructions of Resilient Boolean Functions. Search on Bibsonomy CRYPTO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF combinatorial cryptography, boolean functions, stream ciphers, resiliency, nonlinearity, balancedness, correlation immunity, algebraic degree
49Yu-Liang Wu, Hongbing Fan, Malgorzata Marek-Sadowska, C. K. Wong OBDD Minimization Based on Two-Level Representation of Boolean Functions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF optimum variable ordering, formal verification, CAD, Binary Decision Diagram
49Alexander E. Andreev, Juri L. Baskakov, Andrea E. F. Clementi, José D. P. Rolim Small Pseudo-Random Sets Yield Hard Functions: New Tight Explict Lower Bounds for Branching Programs. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Sergiu Rudeanu, Dan A. Simovici A Graph-Theoretical Approach to Boolean Interpolation of Non-Boolean Functions. Search on Bibsonomy ISMVL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Steffen Reith On the Complexity of Some Equivalence Problems for Propositional Calculi. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Boolean isomorphism, Boolean equivalence, closed classes, Computational complexity, Boolean functions, satisfiability problems, Dichotomy, Post
49Guang Gong, Khoongming Khoo Additive Autocorrelation of Resilient Boolean Functions. Search on Bibsonomy Selected Areas in Cryptography The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, Malgorzata Chrzanowska-Jeske Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF and-inverter graphs, classical symmetries, simulation, boolean functions, boolean satisfiability
48Kaoru Kurosawa, Takashi Satoh Generalization of Higher Order SAC to Vector Output Boolean Functions. Search on Bibsonomy ASIACRYPT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Ke Yang On Learning Correlated Boolean Functions Using Statistical Queries. Search on Bibsonomy ALT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Bogdan J. Falkowski, Sudha Kannurao Spectral Theory of Disjunctive Decomposition for Balanced Boolean Functions. Search on Bibsonomy VLSI Design The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Disjunctive decomposition, Balanced Boolean functions, Walsh Transform
48Soumitra Bose, Vishwani D. Agrawal Sequential logic path delay test generation by symbolic analysis. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF sequential logic path delay test generation, two-vector test sequences, non-scan sequential circuit, multivalued algebras, three-vector test sequences combinational logic, value propagation rule, ISCAS89 benchmarks, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, finite state machines, finite state machines, sequential circuits, encoding, automatic testing, Binary Decision Diagrams, multivalued logic, sequential machines, symbolic analysis, combinational logic, state transitions
47Ondrej Cepek, David Kronus, Petr Kucera Recognition of interval Boolean functions. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06E30
47Thomas W. Cusick Boolean Functions Satisfying a Higher Order Strict Avalanche Criterion. Search on Bibsonomy EUROCRYPT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
47Sihem Mesnager A New Family of Hyper-Bent Boolean Functions in Polynomial Form. Search on Bibsonomy IMA Int. Conf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Hyper-bent functions, Maximum nonlinearity, Kloosterman sums, Cubic sums, Boolean function, Bent functions, Walsh-Hadamard transformation
47Amr M. Youssef, Guang Gong Hyper-bent Functions. Search on Bibsonomy EUROCRYPT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hyper-bent functions, Boolean functions, nonlinearity, bent functions
46Matthias Krause 0001, Pavel Pudlák On Computing Boolean Functions by Sparse Real Polynomials. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF sparse real polynomials, threshold-parity circuits, threshold-and circuits, computational complexity, complexity, Boolean functions, Boolean functions, polynomials, polynomials
46Ingo Wegener The Size of Reduced OBDD's and Optimal Read-Once Branching Programs for Almost All Boolean Functions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1994 DBLP  DOI  BibTeX  RDF optimal read-once branching programs, minimal read-once branching program size, reduction rules, size complexity, computational complexity, Boolean functions, Boolean functions, directed graphs, programming theory, ordered binary-decision diagrams, variable ordering
46Ilana David, Ran Ginosar, Michael Yoeli An Efficient Implementation of Boolean Functions as Self-Timed Circuits. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1992 DBLP  DOI  BibTeX  RDF logic module, temporal logic, temporal logic, Boolean functions, Boolean functions, logic design, correctness, logic circuits, automatic synthesis, formal proof, self-timed circuits, functional constraints
46Harold Fleisher, John Giraldi, R. Phoenix, Morton Tavel Minimizability of Random Boolean Functions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1989 DBLP  DOI  BibTeX  RDF random Boolean functions, prime k-cubes, essential k-cubes, n-variable, random clumping, ESPRESSO, Boolean functions, minimisation
46Vojin M. Plavsic, Per-Erik Danielsson Sequential Evaluation of Boolean Functions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1979 DBLP  DOI  BibTeX  RDF sequential evaluation, Boolean decision, data base search, evaluation of Boolean expressions, fast evaluation, hierarchical Boolean functions, multilevel Boolean functions, partial evaluation
46Toshihide Ibaraki, Tiko Kameda A Theory of Coteries: Mutual Exclusion in Distributed Systems. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Boolean variable, Booleanfunction, self-dual functions, three-majority function, binary decomposition, classical Ashenhurst decomposition, distributed systems, distributed processing, Boolean functions, mutual exclusion, compactness, Boolean algebra, binary tree, quorums, tree data structures, coteries
46Qingshu Meng, Huanguo Zhang, Min Yang 0001, Zhang-yi Wang Analysis of affinely equivalent Boolean functions. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2007 DBLP  DOI  BibTeX  RDF affinely equivalent, Boolean functions, invariant, Reed-Muller code
46John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan Evolving Boolean Functions Satisfying Multiple Criteria. Search on Bibsonomy INDOCRYPT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Heuristic Optimisation, Boolean Functions, Nonlinearity, Autocorrelation, Correlation Immunity
45Feng Liu, Keqin Feng Efficient Computation of Algebraic Immunity of Symmetric Boolean Functions. Search on Bibsonomy TAMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF cryptography, algebraic immunity, symmetric boolean function
45Meera Sitharam, Timothy Straney Sampling Boolean Functions over Abelian Groups and Applications. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Invariant factor decomposition, Data compression, Boolean functions, Pseudorandom generators, VC-dimension, Computational learning theory, Diophantine equations, Linearity testing, Abelian groups
45Nripendra N. Biswas, C. Srikanth, James Jacob Cubical CAMP for minimization of Boolean functions. Search on Bibsonomy VLSI Design The full citation details ... 1996 DBLP  DOI  BibTeX  RDF cubical CAMP algorithm, single Boolean function, QCAMP, UNATE TEST, cyclic function, prime cubes, Achilles heel function, Boolean functions, minimization, minimisation of switching nets, BISECT, unate function
44Deepak Kumar Dalai, Subhamoy Maitra, Sumanta Sarkar Basic Theory in Construction of Boolean Functions with Maximum Possible Annihilator Immunity. Search on Bibsonomy Des. Codes Cryptography The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS Classification 94A60, 06E30
43Jacob M. Howe, Andy King Implementing Groundness Analysis with Definite Boolean Functions. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF definite Boolean functions, interpretation, groundness analysis, (constraint) logic programs
43Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Boolean space, Partitioned ROBDDs, complex industrial circuits, manipulable representation, reduced ordered binary decision diagrams, Boolean functions
43Ferdinando Cicalese, Eduardo Sany Laber Function Evaluation Via Linear Programming in the Priced Information Model. Search on Bibsonomy ICALP (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43WenYing Zhang, Chuankun Wu, XiangZhong Liu Construction and enumeration of Boolean functions with maximum algebraic immunity. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cryptography, Boolean function, algebraic attack, algebraic immunity
43Deshuai Dong, Shaojing Fu, Longjiang Qu, Chao Li 0002 A New Construction of Boolean Functions with Maximum Algebraic Immunity. Search on Bibsonomy ISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Boolean Function, Algebraic Attacks, Balancedness, Algebraic Immunity
43Leonardo Franco, Martin Anthony The influence of oppositely classified examples on the generalization complexity of Boolean functions. Search on Bibsonomy IEEE Trans. Neural Networks The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Deepak Kumar Dalai, Kishan Chand Gupta, Subhamoy Maitra Cryptographically Significant Boolean Functions: Construction and Analysis in Terms of Algebraic Immunity. Search on Bibsonomy FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43An Braeken, Ventzislav Nikov, Svetla Nikova, Bart Preneel On Boolean Functions with Generalized Cryptographic Properties. Search on Bibsonomy INDOCRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Frédéric Didier, Jean-Pierre Tillich Computing the Algebraic Immunity Efficiently. Search on Bibsonomy FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Low degree multiple, Boolean functions, Stream ciphers, Algebraic attacks, Algebraic immunity, Annihilator
43Laura Heinrich-Litan, Paul Molitor Least Upper Bounds for the Size of OBDDs Using Symmetry Properties. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF upper worst case bounds, partial symmetric Boolean functions, Binary decision diagrams, variable ordering
Displaying result #1 - #100 of 2430 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license