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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 38(9), pp. 599-619, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(4), pp. 369-398, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 433-438, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 674-680, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
62 | Zekie Shevked, Ludmil Dakovski |
Learning and classification with prime implicants applied to medical data diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 103, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings, pp. 277-288, 1993, Springer, 3-540-56944-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 232-239, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), Architectures, Methods and Tools, 3-5 September 2003, Belek-Antalya, Turkey, pp. 451-454, 2003, IEEE Computer Society, 0-7695-2003-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Raymond P. Voith |
ULM Implicants for Minimization of Universal Logic Module Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 26(5), pp. 417-424, 1977. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 24(9), pp. 924-930, 1975. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(7), pp. 520-523, 1968. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 15th International Symposium on Field Programmable Gate Arrays, FPGA 2007, Monterey, California, USA, February 18-20, 2007, pp. 139-147, 2007, ACM, 978-1-59593-600-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 1-18, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 30 March - 2 April 1998, San Diego, CA, USA, pp. 58-69, 1998, IEEE Computer Society, 0-8186-8392-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 17th International Symposium, ISMIS 2008, Toronto, Canada, May 20-23, 2008, Proceedings, pp. 203-214, 2008, Springer, 978-3-540-68122-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Dariusz Kania |
A new approach to logic synthesis of multi-output boolean functions on pal-based CPLDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 152-155, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings, pp. 410-421, 2005, Springer, 3-540-28702-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Petr Fiser, Hana Kubátová |
Boolean Minimizer FC-Min: Coverage Finding Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August - 3 September 2004, Rennes, France, pp. 152-159, 2004, IEEE Computer Society, 0-7695-2203-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Yutaka Hata, Kiyoshi Hayase, Takahiro Hozumi, Naotake Kamiura, Kazuharu Yamato |
Multiple-Valued Logic Minimization by Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 97-102, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Yutaka Hata, Naotake Kamiura, Kazuharu Yamato |
On Input Permutation Technique for Multiple-Valued Logic Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 170-177, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 1(4), pp. 432-440, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Sorin Istrail, Dejan Zivkovic |
A Non-Probabilistic Switching Lemma for the Sipser Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, pp. 566-575, 1993, Springer, 3-540-56503-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Alexis de Colnet, Pierre Marquis |
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.13328, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Virendra Sule |
Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.07788, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JIAF ![In: 17èmes Journées d'Intelligence Artificielle Fondamentale, JIAF 2023, Strasbourg, France, July 6-7, 2023., pp. 146-155, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIPTA ![In: International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2023, 11-14 July 2023, Oviedo, Spain., pp. 461-471, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
23 | Christophe Labreuche |
Explanation of Pseudo-Boolean Functions Using Cooperative Game Theory and Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 15th International Conference, SUM 2022, Paris, France, October 17-19, 2022, Proceedings, pp. 295-308, 2022, Springer, 978-3-031-18842-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Hénoïk Willot, Sébastien Destercke, Khaled Belahcène |
Explaining Robust Classification Through Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 15th International Conference, SUM 2022, Paris, France, October 17-19, 2022, Proceedings, pp. 361-369, 2022, Springer, 978-3-031-18842-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFA ![In: Rencontres francophones sur la Logique Floue et ses Applications, LFA 2022, Toulouse, France, October 20-21, 2022, 2022, Cépaduès, 9782364939523. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Alexis de Colnet, Pierre Marquis |
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Alexis de Colnet, Pierre Marquis |
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022., pp. 2583-2590, 2022, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Stephan Wäldchen |
Towards explainable artificial intelligence: interpreting neural network classifiers with probabilistic prime implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
23 | Rajeswari Devadoss, Kolin Paul, M. Balakrishnan |
Equivalence Checking and Compaction of n-input Majority Terms Using Implicants of Majority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 35(5), pp. 679-694, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Rajeswari Devadoss, Kolin Paul, M. Balakrishnan |
Majority Logic: Prime Implicants and n-Input Majority Term Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSID ![In: 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, VLSID 2019, Delhi, India, January 5-9, 2019, pp. 464-469, 2019, IEEE, 978-1-7281-0409-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Yakoub Salhi |
Approaches for Enumerating All the Essential Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications - 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, Proceedings, pp. 228-239, 2018, Springer, 978-3-319-99343-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Yakoub Salhi |
A Method for Generating all the Prime Implicants of Binary CNF Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018., 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Federico Buffoni, Gabriele Gianini, Ernesto Damiani, Michael Granitzer |
All-Implicants Neural Networks for Efficient Boolean Function Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCC ![In: 2018 IEEE International Conference on Cognitive Computing, ICCC 2018, San Francisco, CA, USA, July 2-7, 2018, pp. 82-86, 2018, IEEE Computer Society, 978-1-5386-7241-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Tero Tyrväinen |
Prime implicants in dynamic reliability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 146, pp. 39-46, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Navid Talebanfard |
On the structure and the number of prime implicants of 2-s. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 200, pp. 1-4, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I2MTC ![In: IEEE International Instrumentation and Measurement Technology Conference, I2MTC 2016, Proceedings, Taipei, Taiwan, May 23-26, 2016, pp. 1-6, 2016, IEEE, 978-1-4673-9220-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Francesco Di Maio, Samuele Baronchelli, Enrico Zio |
A Visual Interactive Method for Prime Implicants Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 64(2), pp. 539-549, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Ferrère, Oded Maler, Dejan Nickovic |
Trace Diagnostics Using Temporal Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 241-258, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Meghyn Bienvenu |
Prime Implicates and Prime Implicants: From Propositional to Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.3475, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Navid Talebanfard |
On the Structure and the Number of Prime Implicants of k-CNF Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1408.2662, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Manoj K. Raut, Arindama Singh |
A survey on computing prime implicants and implicates in classical and non-classical logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 29(5), 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 152-165, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Marija Slavkovik 0001, Thomas Ågotnes |
A judgment set similarity measure based on prime implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, pp. 1573-1574, 2014, IFAAMAS/ACM, 978-1-4503-2738-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Ondrej Cepek, Petr Kucera, Stanislav Kurik |
Boolean functions with long prime implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 113(19-21), pp. 698-703, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | David Déharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure |
Computing prime implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013, pp. 46-52, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Ondrej Cepek, Petr Kucera, Stanislav Kurik |
Boolean functions with long prime implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2012, Fort Lauderdale, Florida, USA, January 9-11, 2012, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Softw. ![In: Adv. Eng. Softw. 42(6), pp. 316-321, 2011. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1001.1526, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 204(3), pp. 485-495, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: Sixth International Conference on Natural Computation, ICNC 2010, Yantai, Shandong, China, 10-12 August 2010, pp. 367-371, 2010, IEEE, 978-1-4244-5961-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Meghyn Bienvenu |
Prime Implicates and Prime Implicants: From Propositional to Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 36, pp. 71-128, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt |
Prime Implicants and Belief Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, May 19-21, 2009, Sanibel Island, Florida, USA, 2009, AAAI Press, 978-1-57735-419-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 21(4), pp. 987-998, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | David J. Rosenbaum 0001, Marek A. Perkowski |
Superposed Quantum State Initialization Using Disjoint Prime Implicants (SQUID). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA, pp. 144-149, 2008, IEEE Computer Society, 978-0-7695-3155-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Superposed, Quantum Computing, Superposition |
23 | Meghyn Bienvenu |
Prime Implicates and Prime Implicants in Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, pp. 379-384, 2007, AAAI Press, 978-1-57735-323-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Neil Kettle, Andy King, Tadeusz Strzemecki |
Widening ROBDDs with Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 105-119, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR05, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Manoj K. Raut, Arindama Singh |
Prime implicants of first order formulas via transversal clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 81(2), pp. 157-167, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 36, pp. 3-53, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
23 | Christopher Umans |
The Minimum Equivalent DNF Problem and Shortest Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 63(4), pp. 597-611, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 10(3-4), pp. 243-272, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Arindama Singh |
Computing prime implicants via transversal clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 70(3), pp. 417-427, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Luigi Palopoli 0001, Fiora Pirri, Clara Pizzuti |
Algorithms for Selective Enumeration of Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 111(1-2), pp. 41-72, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Yacine Boufkhad, Olivier Dubois 0002 |
Length of Prime Implicants and Number of Solutions of Random CNF Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 215(1-2), pp. 1-30, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | A. K. Shiny, Arun K. Pujari |
An Efficient Algorithm to Generate Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 22(2), pp. 149-170, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings, pp. 193-207, 1999, Springer, 3-540-66548-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Kazuyoshi Hayase, Hiroshi Imai |
OBDDs of a Monotone Function and Its Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 31(5), pp. 570-591, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | A. K. Shiny, Arun K. Pujari |
Computation of Prime Implicants Using Matrix and Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 8(2), pp. 135-145, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Christopher Umans |
The Minimum Equivalent DNF Problem and Shortest Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 39th Annual Symposium on Foundations of Computer Science, FOCS '98, November 8-11, 1998, Palo Alto, California, USA, pp. 556-563, 1998, IEEE Computer Society, 0-8186-9172-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 18(3), pp. 337-356, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, Nippon Convention Center, Chiba, Japan, January 28-31, 1997, pp. 529-538, 1997, IEEE, 0-7803-3663-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Kazuyoshi Hayase, Hiroshi Imai |
OBDDs of a Monotone Function and of Its Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 7th International Symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996, Proceedings, pp. 136-145, 1996, Springer, 3-540-62048-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Clara Pizzuti |
Computing Prime Implicants by Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Eigth International Conference on Tools with Artificial Intelligence, ICTAI '96, Toulouse, France, November 16-19, 1996, pp. 332-336, 1996, IEEE Computer Society, 0-8186-7686-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Thierry Castell |
Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Eigth International Conference on Tools with Artificial Intelligence, ICTAI '96, Toulouse, France, November 16-19, 1996, pp. 428-429, 1996, IEEE Computer Society, 0-8186-7686-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Uwe Hartmann |
From Prime Implicants to Modular Feedforward Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANNGA ![In: Artificial Neural Nets and Genetic Algorithms, ICANNGA 1995, Proceedings of the International Conference in Alès, France, 1995, pp. 172-175, 1995, Springer, 978-3-211-82692-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 28(2), pp. 125-149, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Ron Rymon |
On Kernel Rule's and Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1., pp. 181-186, 1994, AAAI Press / The MIT Press, 0-262-61102-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
23 | Anavai Ramesh, Neil V. Murray |
Computing Prime Implicants/Implicates for Regular Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 24th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1994, Boston, Massachusetts, USA, May 25-27, 1994, Proceedings, pp. 115-123, 1994, IEEE Computer Society, 0-8186-5650-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Fiora Pirri, Clara Pizzuti |
Characterizing Prime Implicants as Projective Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings, pp. 41-46, 1993, Springer, 3-540-57292-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Tadeusz Strzemecki |
Polynomial-time algorithms for generation of prime implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 8(1), pp. 37-63, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Anavai Ramesh, George Becker, Neil V. Murray |
On Computing Prime Implicants and Prime Implicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 73-75, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 22nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 1992, Sendai, Japan, May 27-29, 1992, Proceedings, pp. 389-395, 1992, IEEE Computer Society, 0-8186-2680-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: Proceedings of the 21st International Symposium on Multiple-Valued Logic, ISMVL 1991, Victoria, BC, Canada, May 26-29, 1991, pp. 280-286, 1991, IEEE Computer Society, 0-8186-2145-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Alex Kean, George K. Tsiknis |
An Incremental Method for Generating Prime Implicants/Impicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 9(2), pp. 185-206, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Peter Jackson, John Pais |
Computing Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 543-557, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(11), pp. 1215-1218, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
23 | Ingo Wegener |
Prime implicants and parallel complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 35, pp. 198-204, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
23 | Curtis T. McMullen, J. Shearer |
Prime Implicants, Minimum Covers, and the Complexity of Logic Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 35(8), pp. 761-762, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Karl Weber |
Prime Implicants of Random Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 19(9), pp. 449-458, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
23 | Walter Oberschelp |
Fast parallel algorithms for finding all prime implicants for discrete functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic and Machines ![In: Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium `Rekursive Kombinatorik` held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen, pp. 408-420, 1983, Springer, 3-540-13331-3. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
23 | Robert Brian Cutler, Saburo Muroga |
Useless prime implicants of incompletely specified multiple-output switching functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 9(4), pp. 337-350, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
23 | Ashok K. Chandra, George Markowsky |
On the number of prime implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 24(1), pp. 7-11, 1978. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 30(2), pp. 199-201, February 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
23 | H. R. Hwa |
A Method for Generating Prime Implicants of a Boolean Expression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 23(6), pp. 637-641, 1974. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 23(6), pp. 646, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
23 | Abraham Kandel |
Corrigendum: "Comment on an Algorithm that Generates Fuzzy Prime Implicants by Lee and Chang" ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 24(1), pp. 100, January 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|