{"id":"https://openalex.org/W2294430194","doi":"https://doi.org/10.29007/b8t1","title":"New CNF Features and Formula Classification","display_name":"New CNF Features and Formula Classification","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2294430194","doi":"https://doi.org/10.29007/b8t1","mag":"2294430194"},"language":"en","primary_location":{"id":"doi:10.29007/b8t1","is_oa":false,"landing_page_url":"https://doi.org/10.29007/b8t1","pdf_url":null,"source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110714253","display_name":"Enrique Alfonso","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Enrique Alfonso","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5025110435","display_name":"Norbert Manthey","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Norbert Manthey","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5110714253"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3257,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.64953541,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"27","issue":null,"first_page":"57","last_page":"41"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9860000014305115,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9860000014305115,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10211","display_name":"Computational Drug Discovery Methods","score":0.9851999878883362,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9764000177383423,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7627789974212646},{"id":"https://openalex.org/keywords/classifier","display_name":"Classifier (UML)","score":0.62842857837677},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6195223331451416},{"id":"https://openalex.org/keywords/random-forest","display_name":"Random forest","score":0.5881983637809753},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.584073543548584},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5766320824623108},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5474243760108948},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.47241607308387756},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4689951241016388},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.416443407535553},{"id":"https://openalex.org/keywords/pattern-recognition","display_name":"Pattern recognition (psychology)","score":0.34646743535995483},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22611060738563538},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10262396931648254}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7627789974212646},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.62842857837677},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6195223331451416},{"id":"https://openalex.org/C169258074","wikidata":"https://www.wikidata.org/wiki/Q245748","display_name":"Random forest","level":2,"score":0.5881983637809753},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.584073543548584},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5766320824623108},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5474243760108948},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.47241607308387756},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4689951241016388},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.416443407535553},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.34646743535995483},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22611060738563538},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10262396931648254},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/b8t1","is_oa":false,"landing_page_url":"https://doi.org/10.29007/b8t1","pdf_url":null,"source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.75,"id":"https://metadata.un.org/sdg/15","display_name":"Life in Land"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W60686164","https://openalex.org/W73352345","https://openalex.org/W110258791","https://openalex.org/W1507080742","https://openalex.org/W1528140509","https://openalex.org/W1563088657","https://openalex.org/W1830871583","https://openalex.org/W1947097685","https://openalex.org/W1968404090","https://openalex.org/W1999997889","https://openalex.org/W2066749637","https://openalex.org/W2070254343","https://openalex.org/W2098508444","https://openalex.org/W2107914461","https://openalex.org/W2119821739","https://openalex.org/W2133990480","https://openalex.org/W2141363466","https://openalex.org/W2147148915","https://openalex.org/W2148962278","https://openalex.org/W2336925918","https://openalex.org/W2394923758","https://openalex.org/W2911964244","https://openalex.org/W2950680102","https://openalex.org/W2963562272","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2366107444","https://openalex.org/W4388145910","https://openalex.org/W2381570729","https://openalex.org/W1976205134","https://openalex.org/W4248336175","https://openalex.org/W2031260042","https://openalex.org/W2391445434","https://openalex.org/W3009369890","https://openalex.org/W4312490297","https://openalex.org/W2889302474"],"abstract_inverted_index":{"In":[0],"this":[1,58],"paper":[2],"we":[3,33,61],"first":[4],"present":[5],"three":[6],"new":[7,66,110],"features":[8,14,36,67,80,111],"for":[9,49,78],"classifying":[10],"CNF":[11,50],"formulas.":[12],"These":[13],"are":[15,68],"based":[16],"on":[17,57,93],"the":[18,22,75,83,87,90,100,103,107],"structural":[19],"information":[20],"of":[21,89,109],"formula":[23],"and":[24,95],"consider":[25],"AND-gates":[26],"as":[27,29],"well":[28],"exactly-one":[30],"constraints.":[31],"Next,":[32],"use":[34],"these":[35,79],"to":[37,43,71],"construct":[38],"a":[39,45,115],"machine":[40],"learning":[41],"approach":[42],"select":[44],"SAT":[46,91],"solver":[47],"configuration":[48],"formulas":[51],"with":[52],"random":[53],"decision":[54],"forests.":[55],"Based":[56],"classification":[59],"task":[60],"can":[62],"show":[63],"that":[64,106],"our":[65],"useful":[69],"compared":[70],"existing":[72],"features.":[73],"Since":[74],"computation":[76],"time":[77],"is":[81],"small,":[82],"constructed":[84],"classifier":[85],"improves":[86],"performance":[88],"solvers":[92],"application":[94],"hand":[96],"crafted":[97],"benchmarks.":[98],"On":[99],"other":[101],"hand,":[102],"comparison":[104],"shows":[105],"set":[108],"also":[112],"results":[113],"in":[114],"better":[116],"classification.":[117]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}