Generating all maximal models of a Boolean expression
We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an expression while preserving its set of maximal models. We present an output-polynomial algorithm for the 2CNF case and we...
Saved in:
| Published in: | Information processing letters Vol. 74; no. 3; pp. 157 - 162 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Amsterdam
Elsevier B.V
31.05.2000
Elsevier Sequoia S.A |
| Subjects: | |
| ISSN: | 0020-0190, 1872-6119 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an expression while preserving its set of maximal models. We present an output-polynomial algorithm for the 2CNF case and we show that the problem cannot be solved in output-polynomial time in the case of Horn expressions, unless
P=
NP
, despite an affinity of this case to the recently subexponentially solved transversal hypergraph problem. The problem is of course trivial for 1-valid and anti-Horn expressions, and open for exclusive-ors; it is NP-hard in all other cases. |
|---|---|
| AbstractList | We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an expression while preserving its set of maximal models. We present an output-polynomial algorithm for the 2CNF case and we show that the problem cannot be solved in output-polynomial time in the case of Horn expressions, unless
P=
NP
, despite an affinity of this case to the recently subexponentially solved transversal hypergraph problem. The problem is of course trivial for 1-valid and anti-Horn expressions, and open for exclusive-ors; it is NP-hard in all other cases. The computational problem of generating all maximal models of a Boolean expression in CNF is examined. A resolution-like method that reduces the unnegated variables of an expression while preserving its set of maximal models is given. An output-polynomial algorithm for the 2CNF case is presented and it is shown that the problem cannot be solved in output polynomial time in the case of Horn expressions, unless p=NP, despite an affinity of this case to the recently subexponentially solved transversal hypergraph problem. The problem is of course trivial for 1-valid and anti-Horn expressions, and open for exclusive-ors; it is NP-hard in all other cases. We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an expression while preserving its set of maximal models. We present an output-polynomial algorithm for the 2CNF case and we show that the problem cannot be solved in output-polynomial time in the case of Horn expressions, unless P identical with NP, despite an affinity of this case to the recently subexponentially solved transversal hypergraph problem. The problem is of course trivial for 1-valid and anti-Horn expressions, and open for exclusive-ors; it is NP-hard in all other cases. |
| Author | Kavvadias, Dimitris J. Sideri, Martha Stavropoulos, Elias C. |
| Author_xml | – sequence: 1 givenname: Dimitris J. surname: Kavvadias fullname: Kavvadias, Dimitris J. organization: University of Patras, Department of Mathematics, GR-265 00 Patras, Greece – sequence: 2 givenname: Martha surname: Sideri fullname: Sideri, Martha organization: Athens University of Economics and Business, Department of Computer Science, GR-104 34 Athens, Greece – sequence: 3 givenname: Elias C. surname: Stavropoulos fullname: Stavropoulos, Elias C. organization: University of Patras, Computer Engineering & Informatics Department, GR-265 00 Patras, Greece |
| BookMark | eNqFkE1LAzEQhoNUsK3-BGHxIHpYzcfuZhcPokWrUPCgnkM2mUjKNqnJVuq_N7XioZfCwDDwvMPMM0ID5x0gdErwFcGkun7FmOIckwZfYHyJ08Ty8gANSc1pXhHSDNDwHzlCoxjnCaoKxoeonIKDIHvrPjLZddlCru1Cpu41dDHzJpPZvfcdSJfBehkgRuvdMTo0sotw8tfH6P3x4W3ylM9eps-Tu1muCkb6nBat0oS1japMwRUYpqUueF2Cwk1bU9qWQCrTyKqkhpGWat5yzYmRhGCtGjZG59u9y-A_VxB7sbBRQddJB34VBeUlKyihCTzbAed-FVy6TVDGac1ohRNUbiEVfIwBjFiG9Gz4FgSLjUnxa1JsNAm8qWRSlCl3s5NTtk_KvOuDtN3e9O02nXzCl4UgorLgFGgbQPVCe7tnww8CrY13 |
| CODEN | IFPLAT |
| CitedBy_id | crossref_primary_10_1016_j_tcs_2020_02_033 crossref_primary_10_1007_s10601_015_9183_0 crossref_primary_10_1016_j_artint_2007_06_003 crossref_primary_10_1016_j_tcs_2016_01_005 crossref_primary_10_1145_1276920_1276923 crossref_primary_10_1016_j_artint_2017_07_005 crossref_primary_10_1089_cmb_2008_0163 crossref_primary_10_1016_j_tcs_2020_01_028 crossref_primary_10_1016_S0020_0190_02_00346_0 crossref_primary_10_1016_j_ipl_2007_11_006 crossref_primary_10_1007_s10878_017_0142_0 crossref_primary_10_1016_j_disc_2021_112399 crossref_primary_10_1016_j_tcs_2015_10_029 crossref_primary_10_1016_j_tcs_2023_114030 |
| Cites_doi | 10.1016/0004-3702(90)90010-W 10.1006/jagm.1996.0062 10.1145/4221.4223 10.1016/0004-3702(89)90067-2 10.1016/0004-3702(92)90027-U 10.1016/0020-0190(92)90049-2 10.1016/0020-0190(88)90065-8 10.1137/S0097539795285114 10.1006/inco.1995.1087 10.1137/S0097539793250299 10.1007/BF02136172 10.1016/S0304-3975(96)00202-2 |
| ContentType | Journal Article |
| Copyright | 2000 Elsevier Science B.V. Copyright Elsevier Sequoia S.A. May 31, 2000 |
| Copyright_xml | – notice: 2000 Elsevier Science B.V. – notice: Copyright Elsevier Sequoia S.A. May 31, 2000 |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/S0020-0190(00)00023-5 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1872-6119 |
| EndPage | 162 |
| ExternalDocumentID | 54458415 10_1016_S0020_0190_00_00023_5 S0020019000000235 |
| Genre | Feature |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 29I 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABEFU ABFNM ABFSI ABJNI ABMAC ABTAH ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADJOM ADMUD AEBSH AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC CS3 DU5 E.L EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K GBLVA GBOLZ HLZ HMJ HVGLF HZ~ IHE J1W KOM LG9 M26 M41 MO0 MS~ O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG ROL RPZ SBC SDF SDG SDP SES SEW SME SPC SPCBC SSV SSZ T5K TN5 UQL WH7 WUQ XPP ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD AFXIZ AGCQF AGRNS JQ2 L7M L~C L~D SSH |
| ID | FETCH-LOGICAL-c431t-24bcd13b9c6f47cef3dad4785ec09b822b5e16f9a652f31b2d7b7d71fa110dc93 |
| ISICitedReferencesCount | 30 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000087230500010&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0020-0190 |
| IngestDate | Sat Sep 27 20:25:30 EDT 2025 Mon Jul 14 09:27:27 EDT 2025 Sat Nov 29 02:29:45 EST 2025 Tue Nov 18 22:24:40 EST 2025 Fri Feb 23 02:28:02 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Keywords | Output-polynomial Transversal hypergraph Algorithms Computational complexity Maximal model generation |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c431t-24bcd13b9c6f47cef3dad4785ec09b822b5e16f9a652f31b2d7b7d71fa110dc93 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-2 content type line 23 |
| PQID | 237283260 |
| PQPubID | 45522 |
| PageCount | 6 |
| ParticipantIDs | proquest_miscellaneous_27534212 proquest_journals_237283260 crossref_primary_10_1016_S0020_0190_00_00023_5 crossref_citationtrail_10_1016_S0020_0190_00_00023_5 elsevier_sciencedirect_doi_10_1016_S0020_0190_00_00023_5 |
| PublicationCentury | 2000 |
| PublicationDate | 2000-05-31 |
| PublicationDateYYYYMMDD | 2000-05-31 |
| PublicationDate_xml | – month: 05 year: 2000 text: 2000-05-31 day: 31 |
| PublicationDecade | 2000 |
| PublicationPlace | Amsterdam |
| PublicationPlace_xml | – name: Amsterdam |
| PublicationTitle | Information processing letters |
| PublicationYear | 2000 |
| Publisher | Elsevier B.V Elsevier Sequoia S.A |
| Publisher_xml | – name: Elsevier B.V – name: Elsevier Sequoia S.A |
| References | Garcia-Molina, Barbara (ID015) 1985; Vol. 32 Gurvich, Khachiyan (ID018) 1995 Kavvadias, Stavropoulos (ID022) 1999 Ben-Eliyahu, Dechter (ID007) 1996; Vol. 18 Garey, Johnson (ID016) 1979 Gunopulos, Khardon, Mannila, Toinonen (ID017) 12141997 Johnson, Yannakakis, Papadimitriou (ID019) 1988; Vol. 27 Kavvadias, Sideri (ID021) 1999; Vol. 28 de Kleer, Mackworth, Reiter (ID011) 1992; Vol. 56 Schaefer (ID025) 1978 Przymusinski (ID024) 1989; Vol. 38 Selman, Kautz (ID026) 1990; Vol. 45 Berge (ID008) 1989; Vol. 45 Chen, Toda (ID010) 1995; Vol. 119 Eiter, Gottlob (ID012) 1995; Vol. 24 Cadoli (ID009) 1992; Vol. 42 Freidman, Khachiyan (ID014) 1996; Vol. 21 Kavvadias, Papadimitriou, Sideri (ID020) 1993 Papadimitriou (ID023) 1998 Ekin, Hammer, Peled (ID013) 1997; Vol. 175 Selman (10.1016/S0020-0190(00)00023-5_ID026) 1990; Vol. 45 Berge (10.1016/S0020-0190(00)00023-5_ID008) 1989; Vol. 45 Ben-Eliyahu (10.1016/S0020-0190(00)00023-5_ID007) 1996; Vol. 18 de Kleer (10.1016/S0020-0190(00)00023-5_ID011) 1992; Vol. 56 Przymusinski (10.1016/S0020-0190(00)00023-5_ID024) 1989; Vol. 38 Garcia-Molina (10.1016/S0020-0190(00)00023-5_ID015) 1985; Vol. 32 Schaefer (10.1016/S0020-0190(00)00023-5_ID025) 1978 Gunopulos (10.1016/S0020-0190(00)00023-5_ID017) 12141997 Johnson (10.1016/S0020-0190(00)00023-5_ID019) 1988; Vol. 27 Kavvadias (10.1016/S0020-0190(00)00023-5_ID021) 1999; Vol. 28 Ekin (10.1016/S0020-0190(00)00023-5_ID013) 1997; Vol. 175 Cadoli (10.1016/S0020-0190(00)00023-5_ID009) 1992; Vol. 42 Chen (10.1016/S0020-0190(00)00023-5_ID010) 1995; Vol. 119 Kavvadias (10.1016/S0020-0190(00)00023-5_ID022) 1999 Freidman (10.1016/S0020-0190(00)00023-5_ID014) 1996; Vol. 21 Gurvich (10.1016/S0020-0190(00)00023-5_ID018) 1995 Garey (10.1016/S0020-0190(00)00023-5_ID016) 1979 Papadimitriou (10.1016/S0020-0190(00)00023-5_ID023) 1998 Kavvadias (10.1016/S0020-0190(00)00023-5_ID020) 1993 Eiter (10.1016/S0020-0190(00)00023-5_ID012) 1995; Vol. 24 |
| References_xml | – start-page: 399 year: 1993 end-page: 405 ident: ID020 article-title: On Horn envelopes and hypergraph transversals publication-title: Proc. 4th Annual International Symposium on Algorithms and Computation (ISAAC'93), Hong Kong – volume: Vol. 38 start-page: 49 year: 1989 end-page: 73 ident: ID024 article-title: An algorithm to compute circumscription publication-title: Artificial Intelligence – volume: Vol. 42 start-page: 113 year: 1992 end-page: 118 ident: ID009 article-title: The complexity of model checking for circumscriptive formulae publication-title: Inform. Process. Lett. – volume: Vol. 21 start-page: 618 year: 1996 end-page: 628 ident: ID014 article-title: On the complexity of dualization of monotone disjunctive normal forms publication-title: J. Algorithms – volume: Vol. 27 start-page: 119 year: 1988 end-page: 123 ident: ID019 article-title: On generating all maximal independent sets publication-title: Inform. Process. Lett. – volume: Vol. 18 start-page: 3 year: 1996 end-page: 27 ident: ID007 article-title: On computing minimal models publication-title: Ann. of Math. Artificial Intelligence – volume: Vol. 45 year: 1989 ident: ID008 publication-title: Hypergraphs – year: 1998 ident: ID023 article-title: NP-completeness: A retrospective publication-title: Proc. of ICALP 98, Bologna, Italy – start-page: 209 year: 12141997 end-page: 216 ident: ID017 article-title: Data mining, hypergraph transversals, and machine learning publication-title: Proc. of 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Tucson, AZ – volume: Vol. 32 start-page: 841 year: 1985 end-page: 860 ident: ID015 article-title: How to assign votes in a distributed system publication-title: J. ACM – volume: Vol. 28 start-page: 152 year: 1999 end-page: 163 ident: ID021 article-title: The inverse satisfiability problem publication-title: SIAM J. Comput. – start-page: 216 year: 1978 end-page: 226 ident: ID025 article-title: The complexity of satisfiability problems publication-title: Proc. 10th Annual ACM Symposium on Theory of Computing, San Diego, CA – year: 1979 ident: ID016 publication-title: Computers and Intractability—A Guide to the Theory of NP-Completeness – year: 1995 ident: ID018 article-title: Generating the irredundent conjunctive and disjunctive normal forms of monotone Boolean functions – volume: Vol. 119 start-page: 231 year: 1995 end-page: 239 ident: ID010 article-title: The complexity of selecting maximal solutions publication-title: Inform. and Comput. – volume: Vol. 175 start-page: 257 year: 1997 end-page: 270 ident: ID013 article-title: Horn functions and submodular Boolean functions publication-title: Theoret. Comput. Sci. – volume: Vol. 24 start-page: 1278 year: 1995 end-page: 1304 ident: ID012 article-title: Identifying the minimal transversals of a hypergraph and related problems publication-title: SIAM J. Comput. – start-page: 72 year: 1999 end-page: 84 ident: ID022 article-title: Evaluation of an algorithm for the transversal hypergraph problem publication-title: Proc. 3rd Workshop on Algorithm Engineering (WAE'99) – volume: Vol. 56 start-page: 197 year: 1992 end-page: 222 ident: ID011 article-title: Characterising diagnosis and systems publication-title: Artificial Intelligence – volume: Vol. 45 start-page: 287 year: 1990 end-page: 322 ident: ID026 article-title: Model preference default theories publication-title: Artificial Intelligence – volume: Vol. 45 start-page: 287 year: 1990 ident: 10.1016/S0020-0190(00)00023-5_ID026 article-title: Model preference default theories publication-title: Artificial Intelligence doi: 10.1016/0004-3702(90)90010-W – volume: Vol. 21 start-page: 618 year: 1996 ident: 10.1016/S0020-0190(00)00023-5_ID014 article-title: On the complexity of dualization of monotone disjunctive normal forms publication-title: J. Algorithms doi: 10.1006/jagm.1996.0062 – volume: Vol. 45 year: 1989 ident: 10.1016/S0020-0190(00)00023-5_ID008 – start-page: 72 year: 1999 ident: 10.1016/S0020-0190(00)00023-5_ID022 article-title: Evaluation of an algorithm for the transversal hypergraph problem – year: 1995 ident: 10.1016/S0020-0190(00)00023-5_ID018 – volume: Vol. 32 start-page: 841 issue: 4 year: 1985 ident: 10.1016/S0020-0190(00)00023-5_ID015 article-title: How to assign votes in a distributed system publication-title: J. ACM doi: 10.1145/4221.4223 – start-page: 399 year: 1993 ident: 10.1016/S0020-0190(00)00023-5_ID020 article-title: On Horn envelopes and hypergraph transversals – volume: Vol. 38 start-page: 49 year: 1989 ident: 10.1016/S0020-0190(00)00023-5_ID024 article-title: An algorithm to compute circumscription publication-title: Artificial Intelligence doi: 10.1016/0004-3702(89)90067-2 – volume: Vol. 56 start-page: 197 year: 1992 ident: 10.1016/S0020-0190(00)00023-5_ID011 article-title: Characterising diagnosis and systems publication-title: Artificial Intelligence doi: 10.1016/0004-3702(92)90027-U – volume: Vol. 42 start-page: 113 year: 1992 ident: 10.1016/S0020-0190(00)00023-5_ID009 article-title: The complexity of model checking for circumscriptive formulae publication-title: Inform. Process. Lett. doi: 10.1016/0020-0190(92)90049-2 – year: 1979 ident: 10.1016/S0020-0190(00)00023-5_ID016 – volume: Vol. 27 start-page: 119 year: 1988 ident: 10.1016/S0020-0190(00)00023-5_ID019 article-title: On generating all maximal independent sets publication-title: Inform. Process. Lett. doi: 10.1016/0020-0190(88)90065-8 – volume: Vol. 28 start-page: 152 issue: 1 year: 1999 ident: 10.1016/S0020-0190(00)00023-5_ID021 article-title: The inverse satisfiability problem publication-title: SIAM J. Comput. doi: 10.1137/S0097539795285114 – year: 1998 ident: 10.1016/S0020-0190(00)00023-5_ID023 article-title: NP-completeness: A retrospective – volume: Vol. 119 start-page: 231 year: 1995 ident: 10.1016/S0020-0190(00)00023-5_ID010 article-title: The complexity of selecting maximal solutions publication-title: Inform. and Comput. doi: 10.1006/inco.1995.1087 – start-page: 216 year: 1978 ident: 10.1016/S0020-0190(00)00023-5_ID025 article-title: The complexity of satisfiability problems – volume: Vol. 24 start-page: 1278 issue: 6 year: 1995 ident: 10.1016/S0020-0190(00)00023-5_ID012 article-title: Identifying the minimal transversals of a hypergraph and related problems publication-title: SIAM J. Comput. doi: 10.1137/S0097539793250299 – start-page: 209 year: 12141997 ident: 10.1016/S0020-0190(00)00023-5_ID017 article-title: Data mining, hypergraph transversals, and machine learning – volume: Vol. 18 start-page: 3 year: 1996 ident: 10.1016/S0020-0190(00)00023-5_ID007 article-title: On computing minimal models publication-title: Ann. of Math. Artificial Intelligence doi: 10.1007/BF02136172 – volume: Vol. 175 start-page: 257 issue: 2 year: 1997 ident: 10.1016/S0020-0190(00)00023-5_ID013 article-title: Horn functions and submodular Boolean functions publication-title: Theoret. Comput. Sci. doi: 10.1016/S0304-3975(96)00202-2 |
| SSID | ssj0006437 |
| Score | 1.7091851 |
| Snippet | We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the... The computational problem of generating all maximal models of a Boolean expression in CNF is examined. A resolution-like method that reduces the unnegated... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 157 |
| SubjectTerms | Algorithms Boolean Computational complexity Computer programming Graphs Maximal model generation Output-polynomial Studies Transversal hypergraph |
| Title | Generating all maximal models of a Boolean expression |
| URI | https://dx.doi.org/10.1016/S0020-0190(00)00023-5 https://www.proquest.com/docview/237283260 https://www.proquest.com/docview/27534212 |
| Volume | 74 |
| WOSCitedRecordID | wos000087230500010&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-6119 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0006437 issn: 0020-0190 databaseCode: AIEXJ dateStart: 19950113 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lj9MwELagy4ELLC9Rll18QAgOgbxcx8cFdQWoKkh0pd4s23G0lbJJ2T7Un89M7CQVCHU5IFVRlcS25BmPv3geHyGvmQbMD_tcYLXJgxT2vEAbpgIAv8IWsYpC3VTXn_DpNJvPxXcfP79q6AR4VWW7nVj-V1HDPRA2ps7-g7i7TuEG_AehwxXEDtdbCd4Vkm6imdHtfK12i2tMEUHKm5VLh_xY1yWewNudD4Ot9jGqz1BqFGPp8giws7JJ_Ol9P2q7xboGDoZjmhSYiz0nE6b3LXw20PqqM_4AbrdIzLApXXzfuIQu_FFte_jQ-c17gxpjXJtj_GwNqqPd8YqT7FnHyNWi9htt5MzwHzbcHSf86LoGpI2E1aKpzROwfuNqnfXTb_LicjKRs_F89mb5M0BKMXS9e36Vu-Qo5kxkA3J0_mU8_9pt1OizdBFAbqA-wetDP_rbMHznR_4bdPltE2-QyeyYPPCfFPTcqcIjcsdWj8nDlq6Deuv9hLBeMyhoBvWaQZ1m0LqginrNoL1mPCWXF-PZp8-BZ80IDIDBdRCnsOqiRAszKlJubJHkKk95xqwJhQY8qJmNRoVQIxYXSaTjnGue86hQgARzI5JnZFDVlX1OaJqJ2OjIakAw0LfSWaKsiJWxApBlyockbSdEGl9SHplNStnHDsI8SpxHGeIP5lGyIXnfNVu6miqHGmTtbEsPDB3gk6Azh5qetNKRfpGuZJxwZOgahUPyqnsKZhV9Zaqy9QZegc94DJZ4cfCNE3K_XxkvyWB9s7Gn5J7ZrhermzOvc78A_QCSZw |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Generating+all+maximal+models+of+a+Boolean+expression&rft.jtitle=Information+processing+letters&rft.au=Kavvadias%2C+Dimitris+J&rft.au=Sideri%2C+Martha&rft.au=Stavropoulos%2C+Elias+C&rft.date=2000-05-31&rft.issn=0020-0190&rft.volume=74&rft.issue=3&rft.spage=157&rft.epage=162&rft_id=info:doi/10.1016%2FS0020-0190%2800%2900023-5&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0020-0190&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0020-0190&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0020-0190&client=summon |