The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Boolean with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1938-1959 (17) 1960-1961 (24) 1962-1963 (21) 1964-1965 (23) 1966-1967 (21) 1968-1969 (25) 1970-1971 (30) 1972-1973 (37) 1974 (28) 1975 (32) 1976 (28) 1977 (36) 1978 (33) 1979 (27) 1980 (31) 1981 (28) 1982 (25) 1983 (36) 1984 (41) 1985 (59) 1986 (51) 1987 (79) 1988 (98) 1989 (86) 1990 (127) 1991 (122) 1992 (137) 1993 (139) 1994 (187) 1995 (193) 1996 (203) 1997 (197) 1998 (216) 1999 (251) 2000 (283) 2001 (319) 2002 (349) 2003 (401) 2004 (458) 2005 (521) 2006 (633) 2007 (599) 2008 (604) 2009 (526) 2010 (369) 2011 (352) 2012 (312) 2013 (346) 2014 (369) 2015 (326) 2016 (402) 2017 (390) 2018 (414) 2019 (458) 2020 (471) 2021 (436) 2022 (439) 2023 (468) 2024 (128)
Publication types (Num. hits)
article(6413) book(29) data(7) incollection(108) inproceedings(6392) phdthesis(110) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5704 occurrences of 2419 keywords

Results
Found 13061 publication records. Showing 13061 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
111Steffen Reith, Klaus W. Wagner On Boolean Lowness and Boolean Highness. Search on Bibsonomy COCOON The full citation details ... 1998 DBLP  DOI  BibTeX  RDF lowness, highness, boolean lowness, boolean highness, boolean hierarchy, hard/easy, Computational complexity, advice, polynomial-time hierarchy, collapse
80Hans 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
69Vetle I. Torvik, Evangelos Triantaphyllou Inference of Monotone Boolean Functions. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Isotone Boolean function, Antitone Boolean function, Boolean function inference problem, Free distributive lattice, Interactive learning of Boolean functions, Shannon function, Hansel theorem, Hansel chain, Sequential Hansel chains question-asking strategy, Binary search-Hansel chains question-asking strategy, Boolean function, Conjunctive normal form, CNF, Binary search, Classification problem, Disjunctive normal form, DNF, Monotone Boolean function
66Marios Mavronicolas, Burkhard Monien, Klaus W. Wagner Weighted Boolean Formula Games. Search on Bibsonomy WINE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
63Rok Sosic, Jun Gu, Robert R. Johnson The Unison algorithm: fast evaluation of Boolean expressions. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Boolean differential, Boolean evaluation, Unison algorithm, Boolean expressions
62Hans Kleine Büning, K. Subramani 0001, Xishun Zhao Boolean Functions as Models for Quantified Boolean Formulas. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model, Complexity, Boolean function, Satisfiability, Propositional logic, Quantified Boolean formula
61Srimat T. Chakradhar, Steven G. Rothweiler, Vishwani D. Agrawal Redundancy removal and test generation for circuits with non-Boolean primitives. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
59Doina Petrescu, Moncef Gabbouj Prediction Based on Boolean Filters for Multiresolution Lossless Image Compression. Search on Bibsonomy ICIP (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF multiresolution lossless image compression, FIR-Boolean hybrid filters, adaptive Boolean filters, optimal Boolean filters, hierarchical interpolation scheme, S+P transform, performance, prediction, data compression, Boolean filters
59Tsong Yueh Chen, Man Fai Lau Two test data selection strategies towards testing of Boolean specifications. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF test data selection strategies, Boolean specification testing, Boolean testing, fault based approach, program testing, test data generation, test case selection, Boolean formulae, Boolean expression
57Chengxin 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
56Ken 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
55David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda Symbolic Model Checking of Analog/Mixed-Signal Circuits. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language
55Steffen 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
54Alioune 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
53Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin Correction to "An equivalence between relational database dependencies and a fragment of propositional logic". Search on Bibsonomy J. ACM The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
53Selç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
52Srimat T. Chakradhar, Steven G. Rothweiler Redundancy Removal and Test Generation for Circuits with Non-Boolean Primitives. Search on Bibsonomy VTS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
52Rimli Sengupta, H. Venkateswaran Non-cancellative Boolean Circuits: A Generalization of Monotone Boolean Circuits. Search on Bibsonomy FSTTCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
50Hui Min Wang, Chung-Len Lee 0001, Jwu E. Chen Factorization of Multi-Valued Logic Functions. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multi-valued logic function factorization, multi valued logic functions, rectangular covering problem, MVL algebraic factorization algorithm, MVL Boolean properties, purely algebraic factorization algorithm, multilevel implementation, Boolean method, MVL example functions, computational complexity, complexity, Boolean functions, multivalued logic
50Toshihide Ibaraki, Tiko Kameda A Theory of Coteries: Mutual Exclusion in Distributed Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed 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
49Kuo-Chung Tai Theory of Fault-Based Predicate Testing for Computer Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF predicate testing, boolean operator faults, relational operator faults, off-by-$epsilon$ faults, Software testing, fault-based testing
49P. 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
48Binh-Minh Bui-Xuan, Jan Arne Telle, Martin Vatshelle Boolean-Width of Graphs. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Gi-Joon Nam, Fadi A. Aloul, Karem A. Sakallah, Rob A. Rutenbar A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu Simulation and SAT-based Boolean matching for large Boolean networks. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF simulation and SAT, Boolean matching
47Amelia Shen, Srinivas Devadas, Abhijit Ghosh Probabilistic manipulation of Boolean functions using free Boolean diagrams. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
46Alioune 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
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
45Ilias Diakonikolas, Prahladh Harsha, Adam R. Klivans, Raghu Meka, Prasad Raghavendra, Rocco A. Servedio, Li-Yang Tan Bounding the average sensitivity and noise sensitivity of polynomial threshold functions. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF average sensitivity, boolean function, fourier analysis, noise sensitivity, polynomial threshold function
45Joan Gispert, Antoni Torrens Boolean representation of bounded BCK-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bounded BCK-algebras, Boolean factor elements, Weak Boolean product, Pierce BCK-representation
45Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov Solution and Optimization of Systems of Pseudo-Boolean Constraints. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
45Bernd Steinbach, Christian Lang 0001 Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF bi-decomposition, Boolean differential calculus, derivative operation, multi-level circuit, delay, Boolean function, lattice, area
45Shih-Chieh Chang, Lukas P. P. P. van Ginneken, Malgorzata Marek-Sadowska Fast Boolean optimization by rewiring. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Boolean logic optimization, boolean optimization, mandatory assignments, Automatic Test Pattern Generation, automatic testing, rewiring
45Enrico 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
44Hiroki Morizumi Limiting Negations in Formulas. Search on Bibsonomy ICALP (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Mustafa 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
44Hung Son Nguyen Approximate Boolean Reasoning: Foundations and Applications in Data Mining. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2006 DBLP  DOI  BibTeX  RDF boolean reasoning, feature selection and extraction, decision rule construction, large data tables, data mining, Rough sets, association rules, discretization, decision tree induction
44Masaharu Yoshioka, Makoto Haraguchi On a combination of probabilistic and boolean ir models for WWW document retrieval. Search on Bibsonomy ACM Trans. Asian Lang. Inf. Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Boolean IR model, probabilistic IR model
44Steve Jones, Shona McInnes, Mark S. Staveley A Graphical User Interface for Boolean Query Specification. Search on Bibsonomy Int. J. Digit. Libr. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Searching, Query interface, Boolean logic, Query specification
44Esko Turunen Semi-Boolean and Hyper-Archimedean BL -Algebras. Search on Bibsonomy IFSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematical fuzzy logic, BL-algrebra, MV-algebra
41Dan A. Simovici, Corina Reischer Several Remarks on the Complexity of Set-Valued Switching Functions. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF set-valued switching functions, complexity of circuits, set-valued logic functions, complete basis, Boolean components, non-Boolean components, computational complexity, complexity, Boolean algebra, switching functions
40Sumanta Sarkar On the Symmetric Negabent Boolean Functions. Search on Bibsonomy INDOCRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF negabent function, nega-Hadamard transform, Krawtchouk polynomial, Boolean function, bent function, symmetric Boolean function
40Jin 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
40Sean Safarpour, Andreas G. Veneris, Gregg Baeckler, Richard Yuan Efficient SAT-based Boolean matching for FPGA technology mapping. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF FPGA technology mapping, Boolean satisfiability, Boolean matching
40Oleg A. Prokopyev, Panos M. Pardalos On Approximability of Boolean Formula Minimization. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF minimum formula size problem, minimum circuit size problem, combinatorial optimization, approximation, inapproximability, Boolean formulas, Boolean circuits
40Keqin Li Constant Time Boolean Matrix Multiplication on a Linear Array with a Reconfigurable Pipelined Bus System. Search on Bibsonomy J. Supercomput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Boolean matrix closure, reconfigurability, time complexity, cost, transitive closure, processor array, optical bus, boolean matrix multiplication
40Alexander 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
40Chun Zhang, Yu Hu 0002, Lingli Wang, Lei He 0001, Jiarong Tong Building a faster boolean matcher using bloom filter. Search on Bibsonomy FPGA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF FPGA, SAT, bloom filter, boolean matching, re-synthesis
40Tsong Yueh Chen, Man Fai Lau, Kwan Yong Sim, Chang-Ai Sun On detecting faults for Boolean expressions. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MUMCUT strategy, Software testing, Fault detection, Specification based testing, Black-box testing, Fault based testing, Boolean specification
40Stephan Eggersglüß, Rolf Drechsler On the Influence of Boolean Encodings in SAT-Based ATPG for Path Delay Faults. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Boolean Encodings, ATPG, SAT, Path Delay Faults
40Claude 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
40Xiaohong Zhang 0001, Yingcang Ma, Zhanao Xue, Gang Yao Implication Operators Based on Rough Set Model over Boolean Algebras. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras
40Itai Benjamini, Oded Schramm, David Bruce Wilson Balanced boolean functions that can be evaluated so that every input bit is unlikely to be read. Search on Bibsonomy STOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF boolean function, percolation, randomized decision tree, butterfly network
40Daya Ram Gaur, Ramesh Krishnamurti Average Case Self-Duality of Monotone Boolean Functions. Search on Bibsonomy Canadian AI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Machine Learning, Knowledge Representation, Satisfiability, Self-duality, Monotone Boolean Functions
40Selç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
40Soumen 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
40Jacob 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
40Yuriy V. 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
40Mitsunori Ogihara, Animesh Ray Simulating Boolean Circuits on a DNA Computer. Search on Bibsonomy Algorithmica The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Parallel computation, DNA computation, Boolean circuits
40Debatosh Debnath, Tsutomu Sasao Fast Boolean Matching Under Permutation Using Representative. Search on Bibsonomy ASP-DAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF variable permutation, P-equivalence, technology mapping, Boolean matching
39Lengning Liu, Miroslaw Truszczynski Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
39Björn Vormbrock A Solution of the Word Problem for Free Double Boolean Algebras. Search on Bibsonomy ICFCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF local search, encodings, satisfiability, propositional logic
39Guoli Ding, Jianhua Chen 0003, 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
39Yanbin Luo, Chunjie Yang, Yongming Li 0001, Daoying Pi Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Oh-Hyeong Kwon A Boolean extraction technique for multiple-level logic optimization. Search on Bibsonomy ISCAS (4) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Kazuyuki 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
39Paul W. Goldberg Estimating a Boolean Perceptron from Its Average Satisfying Assignment: A Bound on the Precision Required. Search on Bibsonomy COLT/EuroCOLT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Shih-Chieh Chang, David Ihsin Cheng Efficient Boolean division and substitution using redundancy addition and removing. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Alexander 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
38Dan A. Simovici Several Remarks on Non-Boolean Functions over Boolean Algebras. Search on Bibsonomy ISMVL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Uwe Bubeck, Hans Kleine Büning Encoding Nested Boolean Functions as Quantified Boolean Formulas. Search on Bibsonomy J. Satisf. Boolean Model. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
37 Boolean Models and Methods in Mathematics, Computer Science, and Engineering. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Martin Anthony, Yves Crama, Peter L. Hammer Decision Lists and Related Classes of Boolean Functions. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Martin Anthony, Yves Crama, Peter L. Hammer Probabilistic Learning and Boolean Functions. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Charles J. Colbourn, Yves Crama, Peter L. Hammer Boolean Aspects of Network Reliability. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Martin Anthony, Yves Crama, Peter L. Hammer Neural Networks and Boolean Functions. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Jan C. Bioch, Yves Crama, Peter L. Hammer Decomposition of Boolean Functions. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Claude Carlet, Yves Crama, Peter L. Hammer Vectorial Boolean Functions for Cryptography. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Robert H. Sloan, Balázs Szörényi, György Turán, Yves Crama, Peter L. Hammer Learning Boolean Functions with Queries. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Reinhard Pöschel, Ivo G. Rosenberg, Yves Crama, Peter L. Hammer Compositions and Clones of Boolean Functions. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Claude Carlet, Yves Crama, Peter L. Hammer Boolean Functions for Cryptography and Error-Correcting Codes. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Yves Crama, Peter L. Hammer Synthesis of Multilevel Boolean Networks. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Claude Carlet The complexity of Boolean functions from cryptographic viewpoint. Search on Bibsonomy Complexity of Boolean Functions The full citation details ... 2006 DBLP  BibTeX  RDF
37Matthias 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
37Matthias 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
36Vishwani D. Agrawal, David Lee 0001 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
36Jordan Gergov, Christoph Meinel Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Boolean manipulation, Boolean function manipulation, equivalence test, satisfiability test, tautology test, total computation, data structures, data structure, Boolean functions, logic design, circuit design, OBDD, canonical representations
36Pramode Ranjan Bhattacharjee, Sanjoy Kumar Basu, Jogesh Chandra Paul Translation of the Problem of Complete Test Set Generation to Pseudo-Boolean Programming. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1991 DBLP  DOI  BibTeX  RDF complete test set generation, logical expressions, real transforms, logic programming, logic testing, Boolean function, Boolean functions, formal logic, pseudo-Boolean programming
36Wolfgang Maass 0001, Georg Schnitger, Eduardo D. Sontag On the Computational Power of Sigmoid versus Boolean Threshold Circuits Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF polynomially bounded weights, sigmoid threshold gates, smooth threshold gates, depth 2 circuits, Boolean threshold circuits, constant size circuits, Boolean threshold gates, polynomial size sigmoid threshold circuits, Boolean functions, computational power, constant depth circuits
36Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev Decomposition and technology mapping of speed-independent circuits using Boolean relations. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Boolean decomposition, decomposed logic sharing, design library, library matching, logic decomposition, logic resynthesis, signal insertion, two-input combinational gate, two-input sequential gate, optimization, technology mapping, circuit CAD, speed-independent circuits, netlist, complex gates, Boolean relations
36Amit 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
36Boris A. Romov Polynomial Completeness Criteria in Finite Boolean Algebras. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra
36Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda An improved data parallel algorithm for Boolean function manipulation using BDDs. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Boolean function manipulation, parallel algorithms, parallel algorithm, Boolean functions, Binary Decision Diagrams, BDDs, SIMD architectures, CPU time, data parallel algorithm
35Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang BooM: a decision procedure for boolean matching with abstraction and dynamic learning. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF satisfiability solving, learning, abstraction, Boolean matching
35WenYing Zhang, Chuankun Wu, XiangZhong Liu Construction and enumeration of Boolean functions with maximum algebraic immunity. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cryptography, Boolean function, algebraic attack, algebraic immunity
35Norbert Blum On Negations in Boolean Networks. Search on Bibsonomy Efficient Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF monotone network, non-monotone network, Boolean function, network complexity
35Deshuai 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
35Feng 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
35Yang Zheng, Haifeng Shen, Steven Xia, Chengzheng Sun Conflict Resolution of Boolean Operations by Integration in Real-Time Collaborative CAD Systems. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF real-time collaborative system, CAD, conflict resolution, Boolean operation, creative design
Displaying result #1 - #100 of 13061 (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 L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license