{ "labelLang" : "hun", "responseDate" : "2024-03-29 15:29", "content" : { "otype" : "Book", "mtid" : 2940588, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-09-13T04:16:57.000+0000", "deleted" : false, "oldId" : 2940588, "lastRefresh" : "2024-03-25T04:30:48.450+0000", "lastModified" : "2021-06-15T13:07:44.421+0000", "created" : "2015-09-14T17:50:26.000+0000", "creator" : { "otype" : "Author", "mtid" : 10051051, "link" : "/api/author/10051051", "label" : "Szegedy Márió (számítástudomány)", "familyName" : "Szegedy", "givenName" : "Márió", "published" : true, "oldId" : 10051051, "snippet" : true }, "lastDuplumOK" : "2021-06-15T13:07:44.438+0000", "lastDuplumSearch" : "2021-06-15T13:07:44.438+0000", "adminApproved" : "2015-09-16T11:49:21.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10015168, "link" : "/api/admin/10015168", "label" : "Szakonyi Erzsebet (RAMKI admin 4)", "familyName" : "Szakonyi", "givenName" : "Erzsebet", "published" : true, "oldId" : 10015168, "snippet" : true }, "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Armin, Biere", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 6683092, "link" : "/api/authorship/6683092", "label" : "Armin, Biere [szerk.]", "listPosition" : 1, "share" : 0.5, "first" : false, "last" : false, "familyName" : "Armin", "givenName" : "Biere", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 22184673, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 6683093, "link" : "/api/authorship/6683093", "label" : "Carla, P Gomes [szerk.]", "listPosition" : 2, "share" : 0.5, "first" : false, "last" : false, "familyName" : "Carla", "givenName" : "P Gomes", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 22184672, "snippet" : true } ], "title" : "Theory and Applications of Satisfiability Testing - SAT 2006", "subTitle" : "9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1013651, "link" : "/api/publicationidentifier/1013651", "label" : "ISBN: 9783540372066", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783540372066", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540372066", "published" : false, "snippet" : true } ], "volumeNumber" : "4121", "seriesMembers" : [ { "otype" : "SeriesVolume", "mtid" : 45660, "link" : "/api/seriesvolume/45660", "label" : "Lecture Notes in Computer Science 0302-9743 1611-3349, 4121", "publication" : { "otype" : "Book", "mtid" : 2940588, "link" : "/api/publication/2940588", "label" : "Armin Biere. Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings. (2006) ISBN:9783540372066", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Theory and Applications of Satisfiability Testing - SAT 2006", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1013651, "link" : "/api/publicationidentifier/1013651", "label" : "ISBN: 9783540372066", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783540372066", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540372066", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10489, "link" : "/api/city/10489", "label" : "Berlin, Németország", "partOf" : { "otype" : "Country", "mtid" : 10011, "link" : "/api/country/10011", "label" : "Németország", "published" : true, "oldId" : 5, "snippet" : true }, "published" : true, "oldId" : 1022992, "snippet" : true }, { "otype" : "City", "mtid" : 10500, "link" : "/api/city/10500", "label" : "Heidelberg, Németország", "partOf" : { "otype" : "Country", "mtid" : 10011, "link" : "/api/country/10011", "label" : "Németország", "published" : true, "oldId" : 5, "snippet" : true }, "published" : true, "oldId" : 1028552, "snippet" : true } ], "publishedYear" : 2006, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "oldId" : 2940588, "snippet" : true }, "series" : { "otype" : "BookSeries", "mtid" : 20000018, "link" : "/api/bookseries/20000018", "label" : "Lecture Notes in Computer Science 0302-9743 1611-3349", "pIssn" : "0302-9743", "eIssn" : "1611-3349", "noIF" : false, "sciIndexed" : false, "scopusIndexed" : false, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "snippet" : true }, "published" : false, "snippet" : true } ], "editionNumber" : 1, "publishers" : [ { "otype" : "Publisher", "mtid" : 50952, "link" : "/api/publisher/50952", "label" : "Springer Netherlands", "name" : "Springer Netherlands", "published" : true, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10489, "link" : "/api/city/10489", "label" : "Berlin, Németország", "partOf" : { "otype" : "Country", "mtid" : 10011, "link" : "/api/country/10011", "label" : "Németország", "published" : true, "oldId" : 5, "snippet" : true }, "published" : true, "oldId" : 1022992, "snippet" : true }, { "otype" : "City", "mtid" : 10500, "link" : "/api/city/10500", "label" : "Heidelberg, Németország", "partOf" : { "otype" : "Country", "mtid" : 10011, "link" : "/api/country/10011", "label" : "Németország", "published" : true, "oldId" : 5, "snippet" : true }, "published" : true, "oldId" : 1028552, "snippet" : true } ], "firstPageOrInternalIdForSort" : "", "publishedYear" : 2006, "conference" : { "otype" : "Conference", "mtid" : 107305, "link" : "/api/conference/107305", "label" : "Theory and Applications of Satisfiability Testing - SAT 2006 2006-08-12 [Seattle (WA), Amerikai Egyesült Államok]", "location" : [ { "otype" : "City", "mtid" : 10640, "link" : "/api/city/10640", "label" : "Seattle (WA), Amerikai Egyesült Államok", "partOf" : { "otype" : "Country", "mtid" : 10017, "link" : "/api/country/10017", "label" : "Amerikai Egyesült Államok", "published" : true, "oldId" : 13, "snippet" : true }, "published" : true, "oldId" : 1169096, "snippet" : true } ], "published" : true, "snippet" : true }, "abstractText" : "This paper is a contribution to the general investigation into how the complexity of constraint satisfaction problems (CSPs) is determined by the form of the constraints. Schaefer proved that the Boolean generalized CSP has the dichotomy property (i.e., all instances are either in P or axe NP-complete), and gave a complete and simple classification of those instances which are in P (assuming P not equal NP) [20]. In this paper we consider a special subcase of the generalized CSP. For this CSP subcase, we require that the variables be drawn from disjoint Boolean domains. Our relation set contains only two elements: a monotone multiple-arity Boolean relation R and its complement R. We prove a dichotomy theorem for these monotone function CSPs, and characterize those monotone functions such that the corresponding problem resides in P.", "digital" : null, "printed" : null, "collaboration" : "INTERNATIONAL", "sourceYear" : 2015, "packet" : "(Szakonyi Erzsebet (MATK admin); 2015.09.14. 16:51:28)", "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-03-25", "oaFree" : false, "oaByAuthor" : { "otype" : "Admin", "mtid" : 10015168, "link" : "/api/admin/10015168", "label" : "Szakonyi Erzsebet (RAMKI admin 4)", "familyName" : "Szakonyi", "givenName" : "Erzsebet", "published" : true, "oldId" : 10015168, "snippet" : true }, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "wosScopusCitationCount" : 0, "wosScopusCitationCountWoOther" : 0, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 0, "selfCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "citingPubCountWoOther" : 0, "independentCitingPubCountWoOther" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "userChangeableUntil" : "2015-09-16T11:49:21.000+0000", "publishDate" : "2015-09-16T08:56:32.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 1, "ownerInstituteCount" : 6, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 2, "chapterCount" : 1, "chapters" : [ { "otype" : "BookChapter", "mtid" : 2940474, "link" : "/api/publication/2940474", "label" : "Chen Su et al. A dichotomy theorem for typed constraint satisfaction problems. (2006) Megjelent: Theory and Applications of Satisfiability Testing - SAT 2006 pp. 226-239", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "A dichotomy theorem for typed constraint satisfaction problems", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1013654, "link" : "/api/publicationidentifier/1013654", "label" : "DOI: 10.1007/11814948_23", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "10.1007/11814948_23", "realUrl" : "https://doi.org/10.1007/11814948_23", "published" : false, "oldId" : 1207208, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1013652, "link" : "/api/publicationidentifier/1013652", "label" : "WoS: 000240082500023", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "000240082500023", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000240082500023", "published" : false, "oldId" : 1204622, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1013653, "link" : "/api/publicationidentifier/1013653", "label" : "Scopus: 33749582043", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "33749582043", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-33749582043", "published" : false, "oldId" : 1207202, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 14, "publishedYear" : 2006, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "oldId" : 2940474, "snippet" : true } ], "fromCitation" : false, "hasQualityFactor" : false, "link" : "/api/publication/2940588", "label" : "Armin Biere. Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings. (2006) ISBN:9783540372066", "template" : "