{"id":"https://openalex.org/W2145063882","doi":"https://doi.org/10.4304/jcm.2.4.49-56","title":"Routing in Optical and Non-Optical Networks using Boolean Satisfiability","display_name":"Routing in Optical and Non-Optical Networks using Boolean Satisfiability","publication_year":2007,"publication_date":"2007-06-01","ids":{"openalex":"https://openalex.org/W2145063882","doi":"https://doi.org/10.4304/jcm.2.4.49-56","mag":"2145063882"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.4304/jcm.2.4.49-56","pdf_url":null,"source":{"id":"https://openalex.org/S184821498","display_name":"Journal of Communications","issn_l":"1796-2021","issn":["1796-2021","2374-4367"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4323867253","host_organization_name":"International Communication Association","host_organization_lineage":["https://openalex.org/P4323867253"],"host_organization_lineage_names":["International Communication Association"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://www.aloul.net/Papers/faloul_jcm07.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066105108","display_name":"Fadi Aloul","orcid":"https://orcid.org/0000-0001-5129-7789"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fadi A. Aloul","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011731782","display_name":"Bashar Al Rawi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bashar Al Rawi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5107839991","display_name":"Mokhtar Aboelaze","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mokhtar Aboelaze","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.866,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.791126,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":82,"max":83},"biblio":{"volume":"2","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10847","display_name":"Advanced Optical Network Technologies","score":0.9922,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10847","display_name":"Advanced Optical Network Technologies","score":0.9922,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12534","display_name":"Protein Degradation and Inhibitors","score":0.958,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9166,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6298271},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4467976}],"concepts":[{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6298271},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.60725},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.56043875},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4467976},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3663712},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34192106}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.4304/jcm.2.4.49-56","pdf_url":null,"source":{"id":"https://openalex.org/S184821498","display_name":"Journal of Communications","issn_l":"1796-2021","issn":["1796-2021","2374-4367"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4323867253","host_organization_name":"International Communication Association","host_organization_lineage":["https://openalex.org/P4323867253"],"host_organization_lineage_names":["International Communication Association"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.3922","pdf_url":"http://www.aloul.net/Papers/faloul_jcm07.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.3922","pdf_url":"http://www.aloul.net/Papers/faloul_jcm07.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"score":0.76,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4298153058","https://openalex.org/W3176904788","https://openalex.org/W2963044240","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W21597398","https://openalex.org/W2091617677","https://openalex.org/W2076399409","https://openalex.org/W2014111643","https://openalex.org/W1913543287"],"abstract_inverted_index":{"Today,":[0],"most":[1],"routing":[2,189],"problems":[3,155],"are":[4,206],"solved":[5],"using":[6,40,64,89,211],"Dijkstra\u2019s":[7,15,41],"shortest":[8,86,170],"path":[9,49,58,87,171],"algorithm.":[10,42],"Many":[11],"efficient":[12],"implementations":[13],"of":[14,67,69,116],"algorithm":[16],"exist":[17],"and":[18,110,138,158,190,208],"can":[19,45,121,133,215],"handle":[20,122],"large":[21,124],"networks":[22,175],"in":[23,71,100,156,173,187,193],"short":[24],"runtimes.":[25],"Despite":[26],"these":[27],"advances,":[28],"it":[29],"is":[30,198],"difficult":[31],"to":[32,50,59,83,113,152,167,184],"incorporate":[33],"user-specific":[34],"conditions":[35,44],"on":[36,200,217],"the":[37,48,57,72,85,101,114,135,169,212],"solution":[38],"when":[39],"Such":[43],"include":[46],"forcing":[47,56],"go":[51],"through":[52],"a":[53,61,80,177],"specific":[54,62],"node,":[55,63],"avoid":[60],"any":[65],"combination":[66],"inclusion/exclusion":[68],"nodes":[70],"path,":[73],"etc.":[74],"In":[75,161],"this":[76,162],"paper,":[77,163],"we":[78,164],"propose":[79],"new":[81],"approach":[82,197,214],"solving":[84],"problem":[88,172],"advanced":[90],"Boolean":[91],"satisfiability":[92],"(SAT)":[93],"techniques.":[94,219],"SAT":[95,118,126,178,186],"has":[96,111],"been":[97,108,150],"heavily":[98],"researched":[99],"last":[102],"few":[103],"years.":[104],"Significant":[105],"advances":[106],"have":[107,148],"proposed":[109,213],"lead":[112],"development":[115],"powerful":[117],"solvers":[119,127,147],"that":[120,132,142,210],"very":[123],"problems.":[125],"use":[128,185],"intelligent":[129],"search":[130,136],"algorithms":[131],"traverse":[134],"space":[137],"efficiently":[139],"prune":[140],"parts":[141],"contain":[143],"no":[144],"solutions.":[145],"These":[146],"recently":[149],"used":[151],"solve":[153],"many":[154],"Engineering":[157],"Computer":[159],"Science.":[160],"show":[165,182],"how":[166,183],"formulate":[168],"non-optical":[174],"as":[176],"problem.":[179],"We":[180],"also":[181],"finding":[188],"wavelength":[191],"assignments":[192],"optical":[194],"networks.":[195],"Our":[196],"verified":[199],"various":[201],"network":[202],"topologies.":[203],"The":[204],"results":[205],"promising":[207],"indicate":[209],"improve":[216],"previous":[218]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2145063882","counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2024-12-10T07:41:49.673322","created_date":"2016-06-24"}