Search results for "Boolean"

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