{"id":"https://openalex.org/W2049008139","doi":"https://doi.org/10.1109/ictai.2012.15","title":"A Comparison of CP, IP, and SAT Solvers through a Common Interface","display_name":"A Comparison of CP, IP, and SAT Solvers through a Common Interface","publication_year":2012,"publication_date":"2012-11-01","ids":{"openalex":"https://openalex.org/W2049008139","doi":"https://doi.org/10.1109/ictai.2012.15","mag":"2049008139"},"language":"en","primary_location":{"id":"doi:10.1109/ictai.2012.15","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ictai.2012.15","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 24th International Conference on Tools with Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","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/A5113864016","display_name":"Neng\u2010Fa Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]},{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]},{"id":"https://openalex.org/I83041322","display_name":"Brooklyn College","ror":"https://ror.org/019k4jq75","country_code":"US","type":"education","lineage":["https://openalex.org/I83041322"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Neng-Fa Zhou","raw_affiliation_strings":["Brooklyn College & Graduate Center, City University of New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brooklyn College & Graduate Center, City University of New York, USA","institution_ids":["https://openalex.org/I121847817","https://openalex.org/I174216632","https://openalex.org/I83041322"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003044063","display_name":"Masato Tsuru","orcid":"https://orcid.org/0000-0001-7340-6798"},"institutions":[{"id":"https://openalex.org/I207014233","display_name":"Kyushu Institute of Technology","ror":"https://ror.org/02278tr80","country_code":"JP","type":"education","lineage":["https://openalex.org/I207014233"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masato Tsuru","raw_affiliation_strings":["Faculty of Computer Science & System Engineering, Kyushu Institute of Technology, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science & System Engineering, Kyushu Institute of Technology, Japan","institution_ids":["https://openalex.org/I207014233"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070803112","display_name":"Eitaku Nobuyama","orcid":null},"institutions":[{"id":"https://openalex.org/I207014233","display_name":"Kyushu Institute of Technology","ror":"https://ror.org/02278tr80","country_code":"JP","type":"education","lineage":["https://openalex.org/I207014233"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Eitaku Nobuyama","raw_affiliation_strings":["Faculty of Computer Science & System Engineering, Kyushu Institute of Technology, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science & System Engineering, Kyushu Institute of Technology, Japan","institution_ids":["https://openalex.org/I207014233"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.15665058,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"48"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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/solver","display_name":"Solver","score":0.8360428810119629},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7634689807891846},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.7359697818756104},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.6793432235717773},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6660495400428772},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.5845708847045898},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.536833643913269},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.50409996509552},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.47265684604644775},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.46744072437286377},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.4543463885784149},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.44742351770401},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4291020333766937},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4248029589653015},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.28474652767181396},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2660154700279236},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21069258451461792},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08011502027511597}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.8360428810119629},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7634689807891846},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.7359697818756104},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.6793432235717773},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6660495400428772},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.5845708847045898},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.536833643913269},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.50409996509552},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.47265684604644775},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.46744072437286377},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4543463885784149},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.44742351770401},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4291020333766937},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4248029589653015},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28474652767181396},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2660154700279236},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21069258451461792},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08011502027511597},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ictai.2012.15","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ictai.2012.15","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 24th International Conference on Tools with Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7200000286102295,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W47957325","https://openalex.org/W160447551","https://openalex.org/W200286934","https://openalex.org/W647025038","https://openalex.org/W1495983216","https://openalex.org/W1538681263","https://openalex.org/W1567531498","https://openalex.org/W1590910789","https://openalex.org/W1597298151","https://openalex.org/W1972567131","https://openalex.org/W1999396796","https://openalex.org/W2030455524","https://openalex.org/W2091138122","https://openalex.org/W2118406528","https://openalex.org/W2134275387","https://openalex.org/W2159875930","https://openalex.org/W2605289564","https://openalex.org/W2963711700","https://openalex.org/W6601945944","https://openalex.org/W6608132615","https://openalex.org/W6621273815","https://openalex.org/W6764513956"],"related_works":["https://openalex.org/W1596719193","https://openalex.org/W4303044088","https://openalex.org/W2102858635","https://openalex.org/W2097415053","https://openalex.org/W1486916474","https://openalex.org/W2365168741","https://openalex.org/W1563755460","https://openalex.org/W1531664660","https://openalex.org/W2500041535","https://openalex.org/W1957191361"],"abstract_inverted_index":{"This":[0,123],"paper":[1,124],"presents":[2],"a":[3,37,48,61,68,155],"common":[4],"interface":[5,26,86,110,148],"for":[6,29,117,150],"Prolog":[7],"to":[8,44,64,90,106,176,181],"three":[9],"different":[10,119],"types":[11],"of":[12,94,128,131],"discrete":[13],"solvers":[14,120],"including":[15],"Constraint":[16],"Programming":[17,20],"(CP),":[18],"Integer":[19],"(IP),":[21],"and":[22,35,56,76,104,114,121,137,149,161],"SAT":[23,69,140],"solvers.":[24],"The":[25,109],"comprises":[27],"primitives":[28],"creating":[30],"decision":[31],"variables,":[32],"specifying":[33],"constraints,":[34],"invoking":[36],"solver,":[38,70,136],"possibly":[39],"with":[40],"an":[41,112],"objective":[42],"function":[43],"be":[45],"optimized.":[46],"Before":[47],"solver":[49,141,180],"is":[50,174],"actually":[51],"called,":[52],"the":[53,65,85,88,92,95,126,129,133,138,146],"accumulated":[54],"variables":[55,73,160],"constraints":[57,77],"are":[58,74,78],"transformed":[59],"into":[60,80],"form":[62],"acceptable":[63],"solver.":[66],"For":[67],"in":[71,83],"particular,":[72],"Booleanized":[75],"compiled":[79],"CNF.":[81],"Implemented":[82],"B-Prolog,":[84,132],"allows":[87],"programmer":[89],"use":[91],"features":[93],"host":[96],"language":[97],"such":[98],"as":[99],"recursion,":[100],"pattern":[101],"matching,":[102],"arrays,":[103],"loops":[105],"describe":[107],"problems.":[108],"provides":[111],"easy":[113],"uniform":[115],"platform":[116],"exploring":[118],"models.":[122],"compares":[125,154],"performance":[127],"CLP(FD)":[130],"CPLEX":[134],"IP":[135],"Lingeling":[139],"on":[142],"several":[143],"problems":[144],"through":[145],"same":[147],"each":[151],"problem":[152],"it":[153,173],"model":[156,163],"that":[157,164,172],"uses":[158,165],"Boolean":[159],"another":[162],"general":[166],"integer":[167],"variables.":[168],"Our":[169],"experience":[170],"tells":[171],"effortless":[175],"switch":[177],"from":[178],"one":[179],"another.":[182]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}