Search results for "implicants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Pablo Cordero, Manuel Enciso, Inman P. de Guzmán	Bases for closed sets of implicants and implicates in temporal logic.	Acta Informatica	2002	DBLP DOI BibTeX RDF
106	Pablo Cordero, Gloria Gutiérrez, Javier Martínez 0001, Inmaculada Perez de Guzmán	A New Algebraic Tool for Automatic Theorem Provers.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	multisemilattice, theorem provers, automated deduction, implicants, ideals, lattice theory
73	Sasan Iman, Massoud Pedram	Two-level logic minimization for low power.	ICCAD	1995	DBLP DOI BibTeX RDF	Power Prime Implicants, low power two-level logic minimization, minimum covering problem, minimum power solution, static CMOS circuits, logic design, logic CAD, integrated circuit design, CMOS logic circuits, circuit CAD, circuit optimisation, minimisation of switching nets
67	Prathima Agrawal, Vishwani D. Agrawal, Nripendra N. Biswas	Multiple output minimization.	DAC	1985	DBLP DOI BibTeX RDF
62	Zekie Shevked, Ludmil Dakovski	Learning and classification with prime implicants applied to medical data diagnosis.	CompSysTech	2007	DBLP DOI BibTeX RDF	classification, diagnosis, minimization, concept learning, prime implicants, medical data
57	Anavai Ramesh, Neil V. Murray	Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates.	LPAR	1993	DBLP DOI BibTeX RDF
56	Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira	Prime Implicant Computation Using Satisfiability Algorithms.	ICTAI	1997	DBLP DOI BibTeX RDF	Integer Programming Algorithms, Propositional Satisfiability Algorithms, Backtrack Search Strategies, Prime Implicants
50	Petr Fiser, Jan Hlavicka, Hana Kubátová	FC-Min: A Fast Multi-Output Boolean Minimizer.	DSD	2003	DBLP DOI BibTeX RDF
45	Raymond P. Voith	ULM Implicants for Minimization of Universal Logic Module Circuits.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	universal functions, optimization, logic design, integrated circuits, logic circuits, multiplexers, Boolean algebra, prime implicants
45	Bernd Reusch	Generation of Prime Implicants from Subfunctions and a Unifying Approach to the Covering Problem.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Boolean minimization, subfunctions, trees, prime implicants, covering problem
45	Donald L. Dietmeyer	Generating prime implicants via ternary encoding and decimal arithmetic.	Commun. ACM	1968	DBLP DOI BibTeX RDF	extremal, ternary encoding, minimization, switching function, prime implicants, cubical complexes
40	Jason Cong, Kirill Minkovich	Improved SAT-based Boolean matching using implicants for LUT-based FPGAs.	FPGA	2007	DBLP DOI BibTeX RDF	logic synthesis, SAT, implicant, boolean matching, FPGA lookup table
39	Georg Gottlob, Francesco Scarcello, Martha Sideri	Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription
39	Michael Theobald, Steven M. Nowick	An Implicit Method for Hazard-Free Two-Level Logic Minimization.	ASYNC	1998	DBLP DOI BibTeX RDF	hazard-free, two-level, dynamic-hazard-free prime implicants, asynchronous, BDD, logic minimization, implicit
34	Neil V. Murray, Erik Rosenthal	Reduced Implicate/Implicant Tries.	ISMIS	2008	DBLP DOI BibTeX RDF
34	Dariusz Kania	A new approach to logic synthesis of multi-output boolean functions on pal-based CPLDS.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	logic synthesis, technology mapping, CPLDs
34	Judy Goldsmith, Matthias Hagen, Martin Mundhenk	Complexity of DNF and Isomorphism of Monotone Formulas.	MFCS	2005	DBLP DOI BibTeX RDF
34	Petr Fiser, Hana Kubátová	Boolean Minimizer FC-Min: Coverage Finding Process.	DSD	2004	DBLP DOI BibTeX RDF
34	Yutaka Hata, Kiyoshi Hayase, Takahiro Hozumi, Naotake Kamiura, Kazuharu Yamato	Multiple-Valued Logic Minimization by Genetic Algorithms.	ISMVL	1997	DBLP DOI BibTeX RDF
34	Yutaka Hata, Naotake Kamiura, Kazuharu Yamato	On Input Permutation Technique for Multiple-Valued Logic Synthesis.	ISMVL	1995	DBLP DOI BibTeX RDF	input permutation technique, multiple-valued logic synthesis, multiple valued sum of products expressions, TSUM, minimal sum of products expressions, permuted logic values, randomly generated functions, input permutation, output permutation, minimization times, window literals, sum of products expressions, set literals, logic design, set theory, multivalued logic
34	Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	ESPRESSO-SIGNATURE: a new exact minimizer for logic functions.	IEEE Trans. Very Large Scale Integr. Syst.	1993	DBLP DOI BibTeX RDF
34	Sorin Istrail, Dejan Zivkovic	A Non-Probabilistic Switching Lemma for the Sipser Function.	STACS	1993	DBLP DOI BibTeX RDF
23	Alexis de Colnet, Pierre Marquis	On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.	CoRR	2023	DBLP DOI BibTeX RDF
23	Virendra Sule	Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants.	CoRR	2023	DBLP DOI BibTeX RDF
23	Hénoïk Willot, Sébastien Destercke, Khaled Belahcène	Les implicants premiers, un outil polyvalent pour l'explication de classification robuste.	JIAF	2023	DBLP BibTeX RDF
23	Hénoïk Willot, Sébastien Destercke, Khaled Belahcène	Prime implicants as a versatile tool to explain robust classification.	ISIPTA	2023	DBLP BibTeX RDF
23	Christophe Labreuche	Explanation of Pseudo-Boolean Functions Using Cooperative Game Theory and Prime Implicants.	SUM	2022	DBLP DOI BibTeX RDF
23	Hénoïk Willot, Sébastien Destercke, Khaled Belahcène	Explaining Robust Classification Through Prime Implicants.	SUM	2022	DBLP DOI BibTeX RDF
23	Hénoïk Willot, Sébastien Destercke, Khaled Belahcène	Explications de classifications robustes à l'aide d'implicants premiers.	LFA	2022	DBLP BibTeX RDF
23	Alexis de Colnet, Pierre Marquis	On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.	ISAIM	2022	DBLP BibTeX RDF
23	Alexis de Colnet, Pierre Marquis	On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.	IJCAI	2022	DBLP DOI BibTeX RDF
23	Stephan Wäldchen	Towards explainable artificial intelligence: interpreting neural network classifiers with probabilistic prime implicants.		2022	RDF
23	Rajeswari Devadoss, Kolin Paul, M. Balakrishnan	Equivalence Checking and Compaction of n-input Majority Terms Using Implicants of Majority.	J. Electron. Test.	2019	DBLP DOI BibTeX RDF
23	Rajeswari Devadoss, Kolin Paul, M. Balakrishnan	Majority Logic: Prime Implicants and n-Input Majority Term Equivalence.	VLSID	2019	DBLP DOI BibTeX RDF
23	Yakoub Salhi	Approaches for Enumerating All the Essential Prime Implicants.	AIMSA	2018	DBLP DOI BibTeX RDF
23	Yakoub Salhi	A Method for Generating all the Prime Implicants of Binary CNF Formulas.	ISAIM	2018	DBLP BibTeX RDF
23	Federico Buffoni, Gabriele Gianini, Ernesto Damiani, Michael Granitzer	All-Implicants Neural Networks for Efficient Boolean Function Representation.	ICCC	2018	DBLP DOI BibTeX RDF
23	Tero Tyrväinen	Prime implicants in dynamic reliability analysis.	Reliab. Eng. Syst. Saf.	2016	DBLP DOI BibTeX RDF
23	Navid Talebanfard	On the structure and the number of prime implicants of 2-s.	Discret. Appl. Math.	2016	DBLP DOI BibTeX RDF
23	Sunil R. Das, Abdullah-Al Amin, Satyendra N. Biswas, Mansour H. Assaf, Emil M. Petriu, Voicu Groza	An algorithm for generating prime implicants.	I2MTC	2016	DBLP DOI BibTeX RDF
23	Francesco Di Maio, Samuele Baronchelli, Enrico Zio	A Visual Interactive Method for Prime Implicants Identification.	IEEE Trans. Reliab.	2015	DBLP DOI BibTeX RDF
23	Thomas Ferrère, Oded Maler, Dejan Nickovic	Trace Diagnostics Using Temporal Implicants.	ATVA	2015	DBLP DOI BibTeX RDF
23	Meghyn Bienvenu	Prime Implicates and Prime Implicants: From Propositional to Modal Logic.	CoRR	2014	DBLP BibTeX RDF
23	Navid Talebanfard	On the Structure and the Number of Prime Implicants of k-CNF Formulas.	CoRR	2014	DBLP BibTeX RDF
23	Manoj K. Raut, Arindama Singh	A survey on computing prime implicants and implicates in classical and non-classical logics.	Comput. Syst. Sci. Eng.	2014	DBLP BibTeX RDF
23	Saïd Jabbour, João Marques-Silva 0001, Lakhdar Sais, Yakoub Salhi	Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form.	JELIA	2014	DBLP DOI BibTeX RDF
23	Marija Slavkovik 0001, Thomas Ågotnes	A judgment set similarity measure based on prime implicants.	AAMAS	2014	DBLP BibTeX RDF
23	Ondrej Cepek, Petr Kucera, Stanislav Kurik	Boolean functions with long prime implicants.	Inf. Process. Lett.	2013	DBLP DOI BibTeX RDF
23	David Déharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure	Computing prime implicants.	FMCAD	2013	DBLP BibTeX RDF
23	Ondrej Cepek, Petr Kucera, Stanislav Kurik	Boolean functions with long prime implicants.	ISAIM	2012	DBLP BibTeX RDF
23	Fatih Basçiftçi, Sirzat Kahramanli	Fast computation of the prime implicants by exact direct-cover algorithm based on the new partial ordering operation rule.	Adv. Eng. Softw.	2011	DBLP DOI BibTeX RDF
23	Fatih Basçiftçi, Sirzat Kahramanli	A Reduced Offset Based Method for Fast Computation of the Prime Implicants Covering a Given Cube	CoRR	2010	DBLP BibTeX RDF
23	Emanuele Borgonovo	The reliability importance of components and prime implicants in coherent and non-coherent systems including total-order interactions.	Eur. J. Oper. Res.	2010	DBLP DOI BibTeX RDF
23	Jianlin Qiu, Xiang Gu 0001, Dan Ji, Fen Li, Peng He, Bo Wang	Logic functions minimization algorithm based on recognition of essential prime implicants.	ICNC	2010	DBLP DOI BibTeX RDF
23	Meghyn Bienvenu	Prime Implicates and Prime Implicants: From Propositional to Modal Logic.	J. Artif. Intell. Res.	2009	DBLP DOI BibTeX RDF
23	Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt	Prime Implicants and Belief Update.	FLAIRS	2009	DBLP BibTeX RDF
23	Robert H. Sloan, Balázs Szörényi, György Turán	On k-Term DNF with the Largest Number of Prime Implicants.	SIAM J. Discret. Math.	2008	DBLP DOI BibTeX RDF
23	David J. Rosenbaum 0001, Marek A. Perkowski	Superposed Quantum State Initialization Using Disjoint Prime Implicants (SQUID).	ISMVL	2008	DBLP DOI BibTeX RDF	Superposed, Quantum Computing, Superposition
23	Meghyn Bienvenu	Prime Implicates and Prime Implicants in Modal Logic.	AAAI	2007	DBLP BibTeX RDF
23	Neil Kettle, Andy King, Tadeusz Strzemecki	Widening ROBDDs with Prime Implicants.	TACAS	2006	DBLP DOI BibTeX RDF	ROBDD, widening, approximation, abstract interpretation
23	Robert H. Sloan, Balázs Szörényi, György Turán	On k-term DNF with largest number of prime implicants	Electron. Colloquium Comput. Complex.	2005	DBLP BibTeX RDF
23	Manoj K. Raut, Arindama Singh	Prime implicants of first order formulas via transversal clauses.	Int. J. Comput. Math.	2004	DBLP DOI BibTeX RDF
23	Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán	From the Poset of Temporal Implicates/implicants to a Temporal Negative Form.	Reports Math. Log.	2002	DBLP BibTeX RDF
23	Christopher Umans	The Minimum Equivalent DNF Problem and Shortest Implicants.	J. Comput. Syst. Sci.	2001	DBLP DOI BibTeX RDF
23	Inman P. de Guzmán, Manuel Enciso, Pablo Cordero	A temporal negative normal form which preserves implicants and implicates.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
23	Arindama Singh	Computing prime implicants via transversal clauses.	Int. J. Comput. Math.	1999	DBLP DOI BibTeX RDF
23	Luigi Palopoli 0001, Fiora Pirri, Clara Pizzuti	Algorithms for Selective Enumeration of Prime Implicants.	Artif. Intell.	1999	DBLP DOI BibTeX RDF
23	Yacine Boufkhad, Olivier Dubois 0002	Length of Prime Implicants and Number of Solutions of Random CNF Formulae.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
23	A. K. Shiny, Arun K. Pujari	An Efficient Algorithm to Generate Prime Implicants.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
23	Inman P. de Guzmán, Pablo Cordero, Manuel Enciso	Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.	EPIA	1999	DBLP DOI BibTeX RDF
23	Kazuyoshi Hayase, Hiroshi Imai	OBDDs of a Monotone Function and Its Prime Implicants.	Theory Comput. Syst.	1998	DBLP DOI BibTeX RDF
23	A. K. Shiny, Arun K. Pujari	Computation of Prime Implicants Using Matrix and Paths.	J. Log. Comput.	1998	DBLP DOI BibTeX RDF
23	Christopher Umans	The Minimum Equivalent DNF Problem and Shortest Implicants.	FOCS	1998	DBLP DOI BibTeX RDF	minimum equivalent DNF, shortest implicant, complexity of approximation, computational complexity, logic minimization, polynomial hierarchy
23	Anavai Ramesh, George Becker, Neil V. Murray	CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates.	J. Autom. Reason.	1997	DBLP DOI BibTeX RDF
23	Dominik Stoffel, Wolfgang Kunz, Stefan Gerber 0002	AND/OR reasoning graphs for determining prime implicants in multi-level combinational networks.	ASP-DAC	1997	DBLP DOI BibTeX RDF
23	Kazuyoshi Hayase, Hiroshi Imai	OBDDs of a Monotone Function and of Its Prime Implicants.	ISAAC	1996	DBLP DOI BibTeX RDF
23	Clara Pizzuti	Computing Prime Implicants by Integer Programming.	ICTAI	1996	DBLP DOI BibTeX RDF
23	Thierry Castell	Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure.	ICTAI	1996	DBLP DOI BibTeX RDF
23	Uwe Hartmann	From Prime Implicants to Modular Feedforward Networks.	ICANNGA	1995	DBLP DOI BibTeX RDF
23	Olivier Coudert, Jean Christophe Madre	Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes.	RAIRO Theor. Informatics Appl.	1994	DBLP DOI BibTeX RDF
23	Ron Rymon	On Kernel Rule's and Prime Implicants.	AAAI	1994	DBLP BibTeX RDF
23	Anavai Ramesh, Neil V. Murray	Computing Prime Implicants/Implicates for Regular Logics.	ISMVL	1994	DBLP DOI BibTeX RDF
23	Fiora Pirri, Clara Pizzuti	Characterizing Prime Implicants as Projective Spaces.	AI*IA	1993	DBLP DOI BibTeX RDF
23	Tadeusz Strzemecki	Polynomial-time algorithms for generation of prime implicants.	J. Complex.	1992	DBLP DOI BibTeX RDF
23	Anavai Ramesh, George Becker, Neil V. Murray	On Computing Prime Implicants and Prime Implicates.	TABLEAUX	1992	DBLP BibTeX RDF
23	Yutaka Hata, Fujio Miyawaki, Kazuharu Yamato	Optimal Output Assignment and the Maximum Number of Implicants Needed to Cover the Multiple-Valued Logic Functions.	ISMVL	1992	DBLP DOI BibTeX RDF
23	Gerhard W. Dueck, G. H. John van Rees	On the Maximum Number of Implicants Needed to Cover a Multiple-Valued Logic Function Using Window Literals.	ISMVL	1991	DBLP DOI BibTeX RDF
23	Alex Kean, George K. Tsiknis	An Incremental Method for Generating Prime Implicants/Impicates.	J. Symb. Comput.	1990	DBLP DOI BibTeX RDF
23	Peter Jackson, John Pais	Computing Prime Implicants.	CADE	1990	DBLP DOI BibTeX RDF
23	Sharon R. Perkins, Tom Rhyne	An algorithm for identifying and selecting the primed implicants of a multiple-output Boolean function.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
23	Ingo Wegener	Prime implicants and parallel complexity.	Bull. EATCS	1988	DBLP BibTeX RDF
23	Curtis T. McMullen, J. Shearer	Prime Implicants, Minimum Covers, and the Complexity of Logic Simplification.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF
23	Karl Weber	Prime Implicants of Random Boolean Functions.	J. Inf. Process. Cybern.	1983	DBLP BibTeX RDF
23	Walter Oberschelp	Fast parallel algorithms for finding all prime implicants for discrete functions.	Logic and Machines	1983	DBLP DOI BibTeX RDF
23	Robert Brian Cutler, Saburo Muroga	Useless prime implicants of incompletely specified multiple-output switching functions.	Int. J. Parallel Program.	1980	DBLP DOI BibTeX RDF
23	Ashok K. Chandra, George Markowsky	On the number of prime implicants.	Discret. Math.	1978	DBLP DOI BibTeX RDF
23	Constantin Virgil Negoita, Dan A. Ralescu	Comment on a Comment on an Algorithm that Generates Fuzzy Prime Implicants by Lee and Chang	Inf. Control.	1976	DBLP DOI BibTeX RDF
23	H. R. Hwa	A Method for Generating Prime Implicants of a Boolean Expression.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
23	Philip S. Noe, V. Thomas Rhyne, S. Suraratrungsi	Comments on "Weighting Method for the Determination of the Irredundant Set of Prime Implicants".	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
23	Abraham Kandel	Corrigendum: "Comment on an Algorithm that Generates Fuzzy Prime Implicants by Lee and Chang"	Inf. Control.	1974	DBLP DOI BibTeX RDF