Checking the Satisfiability of Formulas Represented in Disjunctive Normal Form in the Language L. I
An original technique is proposed for checking the satisfiability of formulae represented in the logical language L in the form of a set of conjuncts. Satisfiability checking is performed by means of analysis and transformation of some relations defined over the set of conjuncts. [PUBLICATION ABSTRA...
Saved in:
| Published in: | Cybernetics and systems analysis Vol. 41; no. 4; pp. 494 - 499 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
New York
Springer Nature B.V
01.07.2005
|
| Subjects: | |
| ISSN: | 1060-0396, 1573-8337 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | An original technique is proposed for checking the satisfiability of formulae represented in the logical language L in the form of a set of conjuncts. Satisfiability checking is performed by means of analysis and transformation of some relations defined over the set of conjuncts. [PUBLICATION ABSTRACT] |
|---|---|
| AbstractList | An original technique is proposed for checking the satisfiability of formulae represented in the logical language L in the form of a set of conjuncts. Satisfiability checking is performed by means of analysis and transformation of some relations defined over the set of conjuncts. An original technique is proposed for checking the satisfiability of formulae represented in the logical language L in the form of a set of conjuncts. Satisfiability checking is performed by means of analysis and transformation of some relations defined over the set of conjuncts. [PUBLICATION ABSTRACT] |
| Author | Kryvyj, S. L. Chebotarev, A. N. |
| Author_xml | – sequence: 1 givenname: S. L. surname: Kryvyj fullname: Kryvyj, S. L. – sequence: 2 givenname: A. N. surname: Chebotarev fullname: Chebotarev, A. N. |
| BookMark | eNpdkE1LAzEQhoMo2FZ_gLfgwdvWSfO5R6lWC0XBj3PIZrNt6jZbN7vS_ntT68nDMC_Mw8vwDNFpaIJD6IrAmADI20iA8zwD4GkUy3YnaEC4pJmiVJ6mDAIyoLk4R8MY1wBAQaoBstOVs58-LHG3cvjNdD5W3hS-9t0eNxWeNe2mr03Er27buuhC50rsA773cd0H2_lvh58TY-pf9HA6FC1MWPZmmcIYzy_QWWXq6C7_9gh9zB7ep0_Z4uVxPr1bZJZI6DLKhGVOUFuVVpaCVZLkTAkuy7wEm6uCWCikmVhBy6JwvKJEcVWS0jCwbmLpCN0ce7dt89W72OmNj9bVtQmu6aOmTDFBqUrg9T9w3fRtSL_pCREchBQkQeQI2baJsXWV3rZ-Y9q9JqAPzvXRuU7O9cG53tEf62V2gQ |
| Cites_doi | 10.1007/978-3-642-82453-1_17 |
| ContentType | Journal Article |
| Copyright | Springer Science+Business Media, Inc. 2005 |
| Copyright_xml | – notice: Springer Science+Business Media, Inc. 2005 |
| DBID | AAYXX CITATION 3V. 7WY 7WZ 7XB 87Z 8AL 8AO 8FE 8FG 8FK 8FL ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FRNLG F~G GNUQQ HCIFZ JQ2 K60 K6~ K7- L.- L6V M0C M0N M7S P5Z P62 PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI PTHSS PYYUZ Q9U S0W 7SC 8FD H8D L7M L~C L~D |
| DOI | 10.1007/s10559-005-0084-x |
| DatabaseName | CrossRef ProQuest Central (Corporate) ABI/INFORM Collection ABI/INFORM Global (PDF only) ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Computing Database (Alumni Edition) ProQuest Pharma Collection ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni) ProQuest Materials Science & Engineering ProQuest Central (Alumni) ProQuest Central UK/Ireland ProQuest SciTech Premium Collection Technology Collection Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Central Business Premium Collection (Proquest) Technology collection ProQuest One Community College ProQuest Central Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database ABI/INFORM Professional Advanced ProQuest Engineering Collection ABI/INFORM Global (OCUL) Computing Database Engineering Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Proquest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Business (UW System Shared) ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition Engineering Collection ABI/INFORM Collection China ProQuest Central Basic DELNET Engineering & Technology Collection Computer and Information Systems Abstracts Technology Research Database Aerospace Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef ABI/INFORM Global (Corporate) ProQuest Business Collection (Alumni Edition) ProQuest One Business Computer Science Database ProQuest Central Student Technology Collection ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Pharma Collection ABI/INFORM Complete ProQuest Central ABI/INFORM Professional Advanced ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Central (New) ABI/INFORM Complete (Alumni Edition) Engineering Collection Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global ProQuest Computing Engineering Database ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ABI/INFORM China ProQuest Technology Collection ProQuest SciTech Collection ProQuest Business Collection Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest DELNET Engineering and Technology Collection Materials Science & Engineering Collection ProQuest One Business (Alumni) ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) Business Premium Collection (Alumni) Aerospace Database Technology Research Database Computer and Information Systems Abstracts – Academic Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Aerospace Database ABI/INFORM Global (Corporate) |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Sciences (General) |
| EISSN | 1573-8337 |
| EndPage | 499 |
| ExternalDocumentID | 932457891 10_1007_s10559_005_0084_x |
| Genre | Feature |
| GroupedDBID | -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 2.D 28- 29F 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5GY 5QI 5VS 642 67Z 6NX 7WY 8AO 8FE 8FG 8FL 8FW 8UJ 95- 95. 95~ 96X AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAPKM AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYXX ABAKF ABBBX ABBRH ABBXA ABDBE ABDZT ABECU ABFSG ABFTD ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABRTQ ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACSTC ACZOJ ADHHG ADHIR ADHKG ADIMF ADKFA ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AEOHA AEPYU AETLH AEVLU AEXYK AEZWR AFBBN AFDZB AFEXP AFFHD AFFNX AFGCZ AFHIU AFKRA AFLOW AFOHR AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGQPQ AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHPBZ AHSBF AHWEU AHYZX AIAKS AIGIU AIIXL AILAN AITGF AIXLP AJBLW AJRNO ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG ATHPR AVWKF AXYYD AZFZN AZQEC B-. BA0 BAPOH BBWZM BDATZ BENPR BEZIV BGLVJ BGNMA BPHCQ BSONS CAG CCPQU CITATION COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EDO EIOEI EJD ESBYG F5P FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRNLG FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ7 GQ8 GROUPED_ABI_INFORM_RESEARCH GXS H13 HCIFZ HF~ HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I-F IAO ICD IHE IJ- IKXTQ ISR ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C JBSCW JCJTX JZLTJ K60 K6V K6~ K7- KDC KOV KOW LAK LLZTM M0C M4Y M7S MA- MK~ N2Q NB0 NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM OVD P19 P62 P9O PF0 PHGZM PHGZT PQBIZ PQBZA PQGLB PQQKQ PROAC PT4 PT5 PTHSS Q2X QOK QOS R89 R9I RHV RNI RNS ROL RPX RSV RZC RZE RZK S0W S16 S1Z S26 S27 S28 S3B SAP SCLPG SDD SDH SDM SHX SISQX SJYHP SMT SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TEORI TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WH7 WK8 YLTOR ZMTXR ZWQNP ~A9 ~EX 3V. 7XB 8AL 8FK AAYZH AESKC JQ2 L.- L6V M0N PKEHL PQEST PQUKI PUEGO Q9U 7SC 8FD H8D L7M L~C L~D |
| ID | FETCH-LOGICAL-c170t-346c4e63cfdc7d64f71948657d9d0c98b1c0b7a2c63dbbe5f31858d1da40ce2c3 |
| IEDL.DBID | M7S |
| ISSN | 1060-0396 |
| IngestDate | Sat Sep 27 18:54:24 EDT 2025 Wed Sep 17 23:53:34 EDT 2025 Sat Nov 29 01:48:23 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Language | English |
| License | http://www.springer.com/tdm |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c170t-346c4e63cfdc7d64f71948657d9d0c98b1c0b7a2c63dbbe5f31858d1da40ce2c3 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-2 content type line 23 |
| PQID | 216506761 |
| PQPubID | 48839 |
| PageCount | 6 |
| ParticipantIDs | proquest_miscellaneous_34846338 proquest_journals_216506761 crossref_primary_10_1007_s10559_005_0084_x |
| PublicationCentury | 2000 |
| PublicationDate | 2005-7-00 20050701 |
| PublicationDateYYYYMMDD | 2005-07-01 |
| PublicationDate_xml | – month: 07 year: 2005 text: 2005-7-00 |
| PublicationDecade | 2000 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | Cybernetics and systems analysis |
| PublicationYear | 2005 |
| Publisher | Springer Nature B.V |
| Publisher_xml | – name: Springer Nature B.V |
| References | 84_CR3 M. K. Morokhovets (84_CR2) 1993 84_CR4 84_CR5 84_CR6 D. Harel (84_CR1) 1985 |
| References_xml | – ident: 84_CR3 – start-page: 477 volume-title: NATO ASI Series, Logic and Models of Concurrent Systems year: 1985 ident: 84_CR1 doi: 10.1007/978-3-642-82453-1_17 – start-page: 44 volume-title: Intelligent Software Tools year: 1993 ident: 84_CR2 – ident: 84_CR4 – ident: 84_CR5 – ident: 84_CR6 |
| SSID | ssj0003078 |
| Score | 1.6052985 |
| Snippet | An original technique is proposed for checking the satisfiability of formulae represented in the logical language L in the form of a set of conjuncts.... |
| SourceID | proquest crossref |
| SourceType | Aggregation Database Index Database |
| StartPage | 494 |
| SubjectTerms | Algorithms Cybernetics Language Logic Studies Systems analysis |
| Title | Checking the Satisfiability of Formulas Represented in Disjunctive Normal Form in the Language L. I |
| URI | https://www.proquest.com/docview/216506761 https://www.proquest.com/docview/34846338 |
| Volume | 41 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: ABI/INFORM Collection customDbUrl: eissn: 1573-8337 dateEnd: 20191231 omitProxy: false ssIdentifier: ssj0003078 issn: 1060-0396 databaseCode: 7WY dateStart: 20000901 isFulltext: true titleUrlDefault: https://www.proquest.com/abicomplete providerName: ProQuest – providerCode: PRVPQU databaseName: ABI/INFORM Global customDbUrl: eissn: 1573-8337 dateEnd: 20191231 omitProxy: false ssIdentifier: ssj0003078 issn: 1060-0396 databaseCode: M0C dateStart: 20000901 isFulltext: true titleUrlDefault: https://search.proquest.com/abiglobal providerName: ProQuest – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1573-8337 dateEnd: 20191231 omitProxy: false ssIdentifier: ssj0003078 issn: 1060-0396 databaseCode: P5Z dateStart: 20000901 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1573-8337 dateEnd: 20191231 omitProxy: false ssIdentifier: ssj0003078 issn: 1060-0396 databaseCode: K7- dateStart: 20000901 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1573-8337 dateEnd: 20191231 omitProxy: false ssIdentifier: ssj0003078 issn: 1060-0396 databaseCode: M7S dateStart: 20000901 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1573-8337 dateEnd: 20191231 omitProxy: false ssIdentifier: ssj0003078 issn: 1060-0396 databaseCode: BENPR dateStart: 20000901 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1573-8337 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0003078 issn: 1060-0396 databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1Lb9QwEB7RlgMXaHmIpbD4wAGQDHac2M4J0W1XIMpqtcuj9BIldiIWoWxpulX598w43kW9cOFiKcpD0dgz89kz8w3AM0-xGJk03KN34qlXDa9EhXqV5VYom1bGNKHZhJlM7MlJPo25OV1Mq1zbxGCo_dLRGfnrRCKW0LjpfnP2i1PTKAquxg4aW7BDJAkyZO7NN4YYl29fCacFFyrX66BmXzmHUJoTDScxyvOr627pulUOrmZ85z9_chduR4zJ3vaLYg9u1O1d2Ita3LHnkWr6xT1wo--1o8NyhjiQzUOlw6Jn7v7Nlg0bI6JdIb5ms5AwS_ydni1adrjofqBDJFPJJoR6f4ZH6RZ96DgegrLjV-z9ffg8Pvo0esdj2wXupBEXXKXapbVWrvHOeJ02Ruap1ZnxuRcut5V0ojJl4rTyVVVnDRVgWy99mQpXJ049gO122dYPgWlX4R4vRxOKuz6bJaWlDoKqkaXMTF7ZAbxcS70469k1ir88yjRFBU5RQVNUXA1gfy30IipaV2wkPoCnm7uoIRT2KNt6ueoKlSLGwp34o3--vw-3AitryMR9DNsX56v6Cdx0lyj58yFsma_fhrBzcDSZzvDqg-E4fhSjYVhyOE6zUxxn8y9_AF9b2xU |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VggQXoDzEUqA-gARIhiRObOeAEGpZdbXLCkGRenPjR8QilC1NF9ofxX9kxkkW9cKtB85OLCXzeR6emW8AnnrKxaRZzT1aJ557UXObWDxXRakToXOrVB2HTaj5XB8elh834PfQC0NllYNOjIraLx3dkb_OUvQlJAbdb49_cBoaRcnVYYJGh4ppOP-FEVv7ZrKH4n2WZeP3B7v7vB8qwF2qklMucunyIIWrvVNe5rXCMF7LQvnSJ67UNnWJVVXmpPDWhqKm9mLtU1_liQuZE7jvFbiaC63oWE0VXyt-PC5d551MeCJKOSRRu049dN050X4Sgz0_u2gGL1qBaNrGt_6zn3IbbvY-NHvXgX4LNkJzB7Z6LdWy5z2V9ou74Ha_BkfJAIZ-LvscOzkWHTP5OVvWbIwe-wrjB_YpFgQTP6lni4btLdpvaPDJFLA5efXf46O0RBvN-kteNnvFJvfgy6V87H3YbJZNeABMOosxbIkmAqNaXWSVpgmJok6rtFCl1SN4OUjZHHfsIeYvTzRBwiAkDEHCnI1gexCy6RVJa9YSHsHOehU1AKV1qiYsV60ROfqQQuiH_3x_B67vH3yYmdlkPt2GG5GBNlYdP4LN05NVeAzX3E-UwsmTCGoGR5cNmD_IRjLD |
| 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=Checking+the+Satisfiability+of+Formulas+Represented+in+Disjunctive+Normal+Form+in+the+Language+L.+I&rft.jtitle=Cybernetics+and+systems+analysis&rft.au=Kryvyj%2C+S.+L.&rft.au=Chebotarev%2C+A.+N.&rft.date=2005-07-01&rft.issn=1060-0396&rft.eissn=1573-8337&rft.volume=41&rft.issue=4&rft.spage=494&rft.epage=499&rft_id=info:doi/10.1007%2Fs10559-005-0084-x&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s10559_005_0084_x |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1060-0396&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1060-0396&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1060-0396&client=summon |