{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2938540","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2938540","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2938540","kernelVersion":"v1","immutable":true,"modified":"2026-01-21T02:22:35Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2938540","name":"Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem","headline":"Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem","description":"scientific article; zbMATH DE number 6386613","url":"https://portal.mardi4nfdi.de/entity/Q2938540","datePublished":"2015-01-14","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q860387"},{"@id":"https://portal.mardi4nfdi.de/entity/Q814565"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2938539"},{"@id":"https://portal.mardi4nfdi.de/entity/Q842793"},{"@id":"https://portal.mardi4nfdi.de/entity/Q842790"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2835857"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/978-3-319-11558-0_52","url":"https://doi.org/10.1007/978-3-319-11558-0_52"},"sameAs":["https://doi.org/10.1007/978-3-319-11558-0_52"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5493902"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4015422"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3429162"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5738967"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3890444"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2754081"},{"@id":"https://portal.mardi4nfdi.de/entity/Q490451"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5325885"},{"@id":"https://portal.mardi4nfdi.de/entity/Q666352"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5429343"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1396651"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2441350"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5715662"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3067705"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4930765"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2843327"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4999425"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5312909"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1194761"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1408386"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3523075"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3524229"}]},"provenance":{"prov:generatedAtTime":"2026-01-21T02:22:35Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}