|
|
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 |
111 | Steffen Reith, Klaus W. Wagner |
On Boolean Lowness and Boolean Highness. |
COCOON |
1998 |
DBLP DOI BibTeX RDF |
lowness, highness, boolean lowness, boolean highness, boolean hierarchy, hard/easy, Computational complexity, advice, polynomial-time hierarchy, collapse |
80 | Hans Kleine Büning, Xishun Zhao |
On Models for Quantified Boolean Formulas. |
Logic versus Approximation |
2004 |
DBLP DOI BibTeX RDF |
model checking, complexity, Boolean function, satisfiability, quantified Boolean formula |
69 | Vetle I. Torvik, Evangelos Triantaphyllou |
Inference of Monotone Boolean Functions. |
Encyclopedia of Optimization |
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 |
66 | Marios Mavronicolas, Burkhard Monien, Klaus W. Wagner |
Weighted Boolean Formula Games. |
WINE |
2007 |
DBLP DOI BibTeX RDF |
|
63 | Rok Sosic, Jun Gu, Robert R. Johnson |
The Unison algorithm: fast evaluation of Boolean expressions. |
ACM Trans. Design Autom. Electr. Syst. |
1996 |
DBLP DOI BibTeX RDF |
Boolean differential, Boolean evaluation, Unison algorithm, Boolean expressions |
62 | Hans Kleine Büning, K. Subramani 0001, Xishun Zhao |
Boolean Functions as Models for Quantified Boolean Formulas. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
Model, Complexity, Boolean function, Satisfiability, Propositional logic, Quantified Boolean formula |
61 | Srimat T. Chakradhar, Steven G. Rothweiler, Vishwani D. Agrawal |
Redundancy removal and test generation for circuits with non-Boolean primitives. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
59 | Doina Petrescu, Moncef Gabbouj |
Prediction Based on Boolean Filters for Multiresolution Lossless Image Compression. |
ICIP (2) |
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 |
59 | Tsong Yueh Chen, Man Fai Lau |
Two test data selection strategies towards testing of Boolean specifications. |
COMPSAC |
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 |
57 | Chengxin Qu, Jennifer Seberry, Josef Pieprzyk |
On the Symmetric Property of Homogeneous Boolean Functions. |
ACISP |
1999 |
DBLP DOI BibTeX RDF |
S-box Theory, Cryptographically Strong Boolean Functions, Homogeneous Functions, Symmetric Functions |
56 | Ken Sadohara |
On a Capacity Control Using Boolean Kernels for the Learning of Boolean Functions. |
ICDM |
2002 |
DBLP DOI BibTeX RDF |
|
55 | David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda |
Symbolic Model Checking of Analog/Mixed-Signal Circuits. |
ASP-DAC |
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 |
55 | Steffen Reith |
On the Complexity of Some Equivalence Problems for Propositional Calculi. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
Boolean isomorphism, Boolean equivalence, closed classes, Computational complexity, Boolean functions, satisfiability problems, Dichotomy, Post |
54 | Alioune Ngom, Corina Reischer, Ivan Stojmenovic |
Classification of Functions and Enumeration of Bases of Set Logic under Boolean Compositions. |
ISMVL |
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 |
53 | Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin |
Correction to "An equivalence between relational database dependencies and a fragment of propositional logic". |
J. ACM |
1987 |
DBLP DOI BibTeX RDF |
|
53 | Selçuk Kavut, Melek D. Yücel |
Generalized Rotation Symmetric and Dihedral Symmetric Boolean Functions - 9 Variable Boolean Functions with Nonlinearity 242. |
AAECC |
2007 |
DBLP DOI BibTeX RDF |
Rotation symmetric boolean functions, dihedral symmetric boolean functions, nonlinearity |
52 | Srimat T. Chakradhar, Steven G. Rothweiler |
Redundancy Removal and Test Generation for Circuits with Non-Boolean Primitives. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
|
52 | Rimli Sengupta, H. Venkateswaran |
Non-cancellative Boolean Circuits: A Generalization of Monotone Boolean Circuits. |
FSTTCS |
1996 |
DBLP DOI BibTeX RDF |
|
50 | Hui Min Wang, Chung-Len Lee 0001, Jwu E. Chen |
Factorization of Multi-Valued Logic Functions. |
ISMVL |
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 |
50 | Toshihide Ibaraki, Tiko Kameda |
A Theory of Coteries: Mutual Exclusion in Distributed Systems. |
IEEE Trans. Parallel Distributed Syst. |
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 |
49 | Kuo-Chung Tai |
Theory of Fault-Based Predicate Testing for Computer Programs. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
predicate testing, boolean operator faults, relational operator faults, off-by-$epsilon$ faults, Software testing, fault-based testing |
49 | P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh |
Variable Order Verification Use of Logic Representation. |
ICADL |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Binh-Minh Bui-Xuan, Jan Arne Telle, Martin Vatshelle |
Boolean-Width of Graphs. |
IWPEC |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Gi-Joon Nam, Fadi A. Aloul, Karem A. Sakallah, Rob A. Rutenbar |
A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu |
Simulation and SAT-based Boolean matching for large Boolean networks. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
simulation and SAT, Boolean matching |
47 | Amelia Shen, Srinivas Devadas, Abhijit Ghosh |
Probabilistic manipulation of Boolean functions using free Boolean diagrams. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
46 | Alioune Ngom, Corina Reischer, Dan A. Simovici, Ivan Stojmenovic |
Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection. |
ISMVL |
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 |
46 | Vojin M. Plavsic, Per-Erik Danielsson |
Sequential Evaluation of Boolean Functions. |
IEEE Trans. Computers |
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 |
45 | Ilias 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. |
STOC |
2010 |
DBLP DOI BibTeX RDF |
average sensitivity, boolean function, fourier analysis, noise sensitivity, polynomial threshold function |
45 | Joan Gispert, Antoni Torrens |
Boolean representation of bounded BCK-algebras. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Bounded BCK-algebras, Boolean factor elements, Weak Boolean product, Pierce BCK-representation |
45 | Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov |
Solution and Optimization of Systems of Pseudo-Boolean Constraints. |
IEEE Trans. Computers |
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) |
45 | Bernd Steinbach, Christian Lang 0001 |
Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition. |
Artif. Intell. Rev. |
2003 |
DBLP DOI BibTeX RDF |
bi-decomposition, Boolean differential calculus, derivative operation, multi-level circuit, delay, Boolean function, lattice, area |
45 | Shih-Chieh Chang, Lukas P. P. P. van Ginneken, Malgorzata Marek-Sadowska |
Fast Boolean optimization by rewiring. |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
Boolean logic optimization, boolean optimization, mandatory assignments, Automatic Test Pattern Generation, automatic testing, rewiring |
45 | Enrico Macii, Massimo Poncino |
Using symbolic Rademacher-Walsh spectral transforms to evaluate the correlation between Boolean functions. |
Great Lakes Symposium on VLSI |
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 |
44 | Hiroki Morizumi |
Limiting Negations in Formulas. |
ICALP (1) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Mustafa Altun, Marc D. Riedel |
Lattice-based computation of Boolean functions. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
lattice duality, Boolean functions, lattices, switching circuits |
44 | Hung Son Nguyen |
Approximate Boolean Reasoning: Foundations and Applications in Data Mining. |
Trans. Rough Sets |
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 |
44 | Masaharu Yoshioka, Makoto Haraguchi |
On a combination of probabilistic and boolean ir models for WWW document retrieval. |
ACM Trans. Asian Lang. Inf. Process. |
2005 |
DBLP DOI BibTeX RDF |
Boolean IR model, probabilistic IR model |
44 | Steve Jones, Shona McInnes, Mark S. Staveley |
A Graphical User Interface for Boolean Query Specification. |
Int. J. Digit. Libr. |
1999 |
DBLP DOI BibTeX RDF |
Searching, Query interface, Boolean logic, Query specification |
44 | Esko Turunen |
Semi-Boolean and Hyper-Archimedean BL -Algebras. |
IFSA (1) |
2007 |
DBLP DOI BibTeX RDF |
Mathematical fuzzy logic, BL-algrebra, MV-algebra |
41 | Dan A. Simovici, Corina Reischer |
Several Remarks on the Complexity of Set-Valued Switching Functions. |
ISMVL |
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 |
40 | Sumanta Sarkar |
On the Symmetric Negabent Boolean Functions. |
INDOCRYPT |
2009 |
DBLP DOI BibTeX RDF |
negabent function, nega-Hadamard transform, Krawtchouk polynomial, Boolean function, bent function, symmetric Boolean function |
40 | Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, Malgorzata Chrzanowska-Jeske |
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
and-inverter graphs, classical symmetries, simulation, boolean functions, boolean satisfiability |
40 | Sean Safarpour, Andreas G. Veneris, Gregg Baeckler, Richard Yuan |
Efficient SAT-based Boolean matching for FPGA technology mapping. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
FPGA technology mapping, Boolean satisfiability, Boolean matching |
40 | Oleg A. Prokopyev, Panos M. Pardalos |
On Approximability of Boolean Formula Minimization. |
J. Comb. Optim. |
2004 |
DBLP DOI BibTeX RDF |
minimum formula size problem, minimum circuit size problem, combinatorial optimization, approximation, inapproximability, Boolean formulas, Boolean circuits |
40 | Keqin Li |
Constant Time Boolean Matrix Multiplication on a Linear Array with a Reconfigurable Pipelined Bus System. |
J. Supercomput. |
1997 |
DBLP DOI BibTeX RDF |
Boolean matrix closure, reconfigurability, time complexity, cost, transitive closure, processor array, optical bus, boolean matrix multiplication |
40 | Alexander 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. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Chun Zhang, Yu Hu 0002, Lingli Wang, Lei He 0001, Jiarong Tong |
Building a faster boolean matcher using bloom filter. |
FPGA |
2010 |
DBLP DOI BibTeX RDF |
FPGA, SAT, bloom filter, boolean matching, re-synthesis |
40 | Tsong Yueh Chen, Man Fai Lau, Kwan Yong Sim, Chang-Ai Sun |
On detecting faults for Boolean expressions. |
Softw. Qual. J. |
2009 |
DBLP DOI BibTeX RDF |
MUMCUT strategy, Software testing, Fault detection, Specification based testing, Black-box testing, Fault based testing, Boolean specification |
40 | Stephan Eggersglüß, Rolf Drechsler |
On the Influence of Boolean Encodings in SAT-Based ATPG for Path Delay Faults. |
ISMVL |
2008 |
DBLP DOI BibTeX RDF |
Boolean Encodings, ATPG, SAT, Path Delay Faults |
40 | Claude Carlet, Khoongming Khoo, Chu-Wee Lim, Chuan-Wen Loe |
Generalized Correlation Analysis of Vectorial Boolean Functions. |
FSE |
2007 |
DBLP DOI BibTeX RDF |
Vectorial Boolean Functions, Unrestricted Nonlinearity, Resiliency |
40 | Xiaohong Zhang 0001, Yingcang Ma, Zhanao Xue, Gang Yao |
Implication Operators Based on Rough Set Model over Boolean Algebras. |
GrC |
2007 |
DBLP DOI BibTeX RDF |
Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras |
40 | Itai Benjamini, Oded Schramm, David Bruce Wilson |
Balanced boolean functions that can be evaluated so that every input bit is unlikely to be read. |
STOC |
2005 |
DBLP DOI BibTeX RDF |
boolean function, percolation, randomized decision tree, butterfly network |
40 | Daya Ram Gaur, Ramesh Krishnamurti |
Average Case Self-Duality of Monotone Boolean Functions. |
Canadian AI |
2004 |
DBLP DOI BibTeX RDF |
Machine Learning, Knowledge Representation, Satisfiability, Self-duality, Monotone Boolean Functions |
40 | Selçuk Kavut, Melek D. Yücel |
Improved Cost Function in the Design of Boolean Functions Satisfying Multiple Criteria. |
INDOCRYPT |
2003 |
DBLP DOI BibTeX RDF |
bent Boolean functions, Simulated annealing, nonlinearity, autocorrelation, Walsh-Hadamard transforms |
40 | Soumen Maity, Thomas Johansson 0001 |
Construction of Cryptographically Important Boolean Functions. |
INDOCRYPT |
2002 |
DBLP DOI BibTeX RDF |
Perfectly nonlinear function, Boolean function, Stream cipher, Resiliency, Nonlinearity, Combinatorial problems, Balancedness, Correlation immunity, Bent function, Algebraic degree |
40 | Jacob M. Howe, Andy King |
Positive Boolean Functions as Multiheaded Clauses. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
Boolean functions, interpretation, groundness analysis, (constraint) logic programs |
40 | Yuriy V. Tarannikov, Peter Korolev, Anton Botev |
Autocorrelation Coefficients and Correlation Immunity of Boolean Functions. |
ASIACRYPT |
2001 |
DBLP DOI BibTeX RDF |
autocorrelation coefficients, global avalanche characteristics, Boolean functions, stream ciphers, resiliency, nonlinearity, bounds, balancedness, correlation immunity, Walsh Transform |
40 | Mitsunori Ogihara, Animesh Ray |
Simulating Boolean Circuits on a DNA Computer. |
Algorithmica |
1999 |
DBLP DOI BibTeX RDF |
Parallel computation, DNA computation, Boolean circuits |
40 | Debatosh Debnath, Tsutomu Sasao |
Fast Boolean Matching Under Permutation Using Representative. |
ASP-DAC |
1999 |
DBLP DOI BibTeX RDF |
variable permutation, P-equivalence, technology mapping, Boolean matching |
39 | Lengning Liu, Miroslaw Truszczynski |
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. |
Constraints An Int. J. |
2007 |
DBLP DOI BibTeX RDF |
Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search |
39 | Björn Vormbrock |
A Solution of the Word Problem for Free Double Boolean Algebras. |
ICFCA |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale |
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
local search, encodings, satisfiability, propositional logic |
39 | Guoli Ding, Jianhua Chen 0003, Robert F. Lax, Peter P. Chen |
Efficient Learning of Pseudo-Boolean Functions from Limited Training Data. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Yanbin Luo, Chunjie Yang, Yongming Li 0001, Daoying Pi |
Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Oh-Hyeong Kwon |
A Boolean extraction technique for multiple-level logic optimization. |
ISCAS (4) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Kazuyuki Amano, Akira Maruoka |
On Learning Monotone Boolean Functions under the Uniform Distribution. |
ALT |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Paul W. Goldberg |
Estimating a Boolean Perceptron from Its Average Satisfying Assignment: A Bound on the Precision Required. |
COLT/EuroCOLT |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Shih-Chieh Chang, David Ihsin Cheng |
Efficient Boolean division and substitution using redundancy addition and removing. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Alexander 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. |
STACS |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Dan A. Simovici |
Several Remarks on Non-Boolean Functions over Boolean Algebras. |
ISMVL |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Uwe Bubeck, Hans Kleine Büning |
Encoding Nested Boolean Functions as Quantified Boolean Formulas. |
J. Satisf. Boolean Model. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
37 | |
Boolean Models and Methods in Mathematics, Computer Science, and Engineering. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Martin Anthony, Yves Crama, Peter L. Hammer |
Decision Lists and Related Classes of Boolean Functions. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Martin Anthony, Yves Crama, Peter L. Hammer |
Probabilistic Learning and Boolean Functions. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Charles J. Colbourn, Yves Crama, Peter L. Hammer |
Boolean Aspects of Network Reliability. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Martin Anthony, Yves Crama, Peter L. Hammer |
Neural Networks and Boolean Functions. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Jan C. Bioch, Yves Crama, Peter L. Hammer |
Decomposition of Boolean Functions. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Claude Carlet, Yves Crama, Peter L. Hammer |
Vectorial Boolean Functions for Cryptography. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Robert H. Sloan, Balázs Szörényi, György Turán, Yves Crama, Peter L. Hammer |
Learning Boolean Functions with Queries. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Reinhard Pöschel, Ivo G. Rosenberg, Yves Crama, Peter L. Hammer |
Compositions and Clones of Boolean Functions. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Claude Carlet, Yves Crama, Peter L. Hammer |
Boolean Functions for Cryptography and Error-Correcting Codes. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Yves Crama, Peter L. Hammer |
Synthesis of Multilevel Boolean Networks. |
Boolean Models and Methods |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Claude Carlet |
The complexity of Boolean functions from cryptographic viewpoint. |
Complexity of Boolean Functions |
2006 |
DBLP BibTeX RDF |
|
37 | Matthias Krause 0001, Dieter van Melkebeek, Pavel Pudlák, Rüdiger Reischuk |
06111 Executive Summary -- Complexity of Boolean Functions. |
Complexity of Boolean Functions |
2006 |
DBLP BibTeX RDF |
|
37 | Matthias Krause 0001, Pavel Pudlák, Rüdiger Reischuk, Dieter van Melkebeek |
06111 Abstracts Collection -- Complexity of Boolean Functions. |
Complexity of Boolean Functions |
2006 |
DBLP BibTeX RDF |
|
36 | Vishwani D. Agrawal, David Lee 0001 |
Characteristic polynomial method for verification and test of combinational circuits. |
VLSI Design |
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 |
36 | Jordan Gergov, Christoph Meinel |
Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's. |
IEEE Trans. Computers |
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 |
36 | Pramode Ranjan Bhattacharjee, Sanjoy Kumar Basu, Jogesh Chandra Paul |
Translation of the Problem of Complete Test Set Generation to Pseudo-Boolean Programming. |
IEEE Trans. Computers |
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 |
36 | Wolfgang Maass 0001, Georg Schnitger, Eduardo D. Sontag |
On the Computational Power of Sigmoid versus Boolean Threshold Circuits |
FOCS |
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 |
36 | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev |
Decomposition and technology mapping of speed-independent circuits using Boolean relations. |
ICCAD |
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 |
36 | Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions. |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
Boolean space, Partitioned ROBDDs, complex industrial circuits, manipulable representation, reduced ordered binary decision diagrams, Boolean functions |
36 | Boris A. Romov |
Polynomial Completeness Criteria in Finite Boolean Algebras. |
ISMVL |
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 |
36 | Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda |
An improved data parallel algorithm for Boolean function manipulation using BDDs. |
PDP |
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 |
35 | Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang |
BooM: a decision procedure for boolean matching with abstraction and dynamic learning. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
satisfiability solving, learning, abstraction, Boolean matching |
35 | WenYing Zhang, Chuankun Wu, XiangZhong Liu |
Construction and enumeration of Boolean functions with maximum algebraic immunity. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
cryptography, Boolean function, algebraic attack, algebraic immunity |
35 | Norbert Blum |
On Negations in Boolean Networks. |
Efficient Algorithms |
2009 |
DBLP DOI BibTeX RDF |
monotone network, non-monotone network, Boolean function, network complexity |
35 | Deshuai Dong, Shaojing Fu, Longjiang Qu, Chao Li 0002 |
A New Construction of Boolean Functions with Maximum Algebraic Immunity. |
ISC |
2009 |
DBLP DOI BibTeX RDF |
Boolean Function, Algebraic Attacks, Balancedness, Algebraic Immunity |
35 | Feng Liu, Keqin Feng |
Efficient Computation of Algebraic Immunity of Symmetric Boolean Functions. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
cryptography, algebraic immunity, symmetric boolean function |
35 | Yang Zheng, Haifeng Shen, Steven Xia, Chengzheng Sun |
Conflict Resolution of Boolean Operations by Integration in Real-Time Collaborative CAD Systems. |
OTM Conferences (1) |
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][ >>] |
|