{"id":"https://openalex.org/W2038014203","doi":"https://doi.org/10.1016/0305-0548(90)90062-c","title":"Modeling and integer programming techniques applied to propositional calculus","display_name":"Modeling and integer programming techniques applied to propositional calculus","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2038014203","doi":"https://doi.org/10.1016/0305-0548(90)90062-c","mag":"2038014203"},"language":"en","primary_location":{"id":"doi:10.1016/0305-0548(90)90062-c","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0305-0548(90)90062-c","pdf_url":null,"source":{"id":"https://openalex.org/S173256270","display_name":"Computers & Operations Research","issn_l":"0305-0548","issn":["0305-0548","1873-765X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers & Operations Research","raw_type":"journal-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/A5111719686","display_name":"Tom M. Cavalier","orcid":null},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tom M. Cavalier","raw_affiliation_strings":["Department of Industrial & Management Systems Engineering, 207 Hammond Building, Pennsylvania State University, University Park, PA 16802, U.S.A","Department of Industrial and Management Systems Engineering 207 Hammond Building, Pennsylvania State University, University Park, PA 16802, U.S.A.#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Industrial & Management Systems Engineering, 207 Hammond Building, Pennsylvania State University, University Park, PA 16802, U.S.A","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"Department of Industrial and Management Systems Engineering 207 Hammond Building, Pennsylvania State University, University Park, PA 16802, U.S.A.#TAB#","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050062467","display_name":"P\u00e3nos M. Pardalos","orcid":"https://orcid.org/0000-0001-9623-8053"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Panos M. Pardalos","raw_affiliation_strings":["Department of Computer Science, 309 Whitmore Laboratory, Pennsylvania State University, University Park, PA 16802, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, 309 Whitmore Laboratory, Pennsylvania State University, University Park, PA 16802, U.S.A","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109004174","display_name":"Allen L. Soyster","orcid":null},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Allen L. Soyster","raw_affiliation_strings":["Department of Industrial & Management Systems Engineering, 207 Hammond Building, Pennsylvania State University, University Park, PA 16802, U.S.A","Department of Industrial and Management Systems Engineering 207 Hammond Building, Pennsylvania State University, University Park, PA 16802, U.S.A.#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Industrial & Management Systems Engineering, 207 Hammond Building, Pennsylvania State University, University Park, PA 16802, U.S.A","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"Department of Industrial and Management Systems Engineering 207 Hammond Building, Pennsylvania State University, University Park, PA 16802, U.S.A.#TAB#","institution_ids":["https://openalex.org/I130769515"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I130769515"],"apc_list":{"value":3210,"currency":"USD","value_usd":3210},"apc_paid":null,"fwci":2.1485,"has_fulltext":false,"cited_by_count":103,"citation_normalized_percentile":{"value":0.88831221,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"17","issue":"6","first_page":"561","last_page":"570"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"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.9958000183105469,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9848999977111816,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.8600541353225708},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.6554570198059082},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.5584701895713806},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5209863781929016},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.4793706238269806},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.43901488184928894},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4336664080619812},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.4305225908756256},{"id":"https://openalex.org/keywords/well-formed-formula","display_name":"Well-formed formula","score":0.4181895852088928},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.39382752776145935},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.385722815990448},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30249732732772827},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24509331583976746},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12841781973838806},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.10126018524169922},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.06888532638549805}],"concepts":[{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.8600541353225708},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.6554570198059082},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5584701895713806},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5209863781929016},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.4793706238269806},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.43901488184928894},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4336664080619812},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4305225908756256},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.4181895852088928},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.39382752776145935},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.385722815990448},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30249732732772827},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24509331583976746},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12841781973838806},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.10126018524169922},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.06888532638549805},{"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/0305-0548(90)90062-c","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0305-0548(90)90062-c","pdf_url":null,"source":{"id":"https://openalex.org/S173256270","display_name":"Computers & Operations Research","issn_l":"0305-0548","issn":["0305-0548","1873-765X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers & Operations Research","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1540352354","https://openalex.org/W1966614680","https://openalex.org/W1972848853","https://openalex.org/W1977946745","https://openalex.org/W1980985059","https://openalex.org/W1981541822","https://openalex.org/W2008389133","https://openalex.org/W2051986176","https://openalex.org/W2092931458","https://openalex.org/W2095751830","https://openalex.org/W2103263531","https://openalex.org/W2110316735","https://openalex.org/W2153401251","https://openalex.org/W2167539320","https://openalex.org/W2223796456","https://openalex.org/W2587987525","https://openalex.org/W4299296137","https://openalex.org/W6632478084","https://openalex.org/W6674366521","https://openalex.org/W6688848106"],"related_works":["https://openalex.org/W2990043628","https://openalex.org/W2494987287","https://openalex.org/W2364305935","https://openalex.org/W1986625420","https://openalex.org/W4251854500","https://openalex.org/W1987118140","https://openalex.org/W2472593905","https://openalex.org/W2473585100","https://openalex.org/W4232875954","https://openalex.org/W949976107"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-22T06:23:43.705686","created_date":"2025-10-10T00:00:00"}