{"id":"https://openalex.org/W1987647882","doi":"https://doi.org/10.1093/comjnl/bxu025","title":"A Systematical and Parallel Approach to Solve Problems Involving Special Properties of Bit-Vectors","display_name":"A Systematical and Parallel Approach to Solve Problems Involving Special Properties of Bit-Vectors","publication_year":2014,"publication_date":"2014-04-01","ids":{"openalex":"https://openalex.org/W1987647882","doi":"https://doi.org/10.1093/comjnl/bxu025","mag":"1987647882"},"language":"en","primary_location":{"id":"doi:10.1093/comjnl/bxu025","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxu025","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","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/A5006067614","display_name":"Chuan-Ming Ou","orcid":null},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"C. S. Ou","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, No. 101, Section 2, Kuang-Fu Road, Hsinchu, Taiwan 30013, R.O.C"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, No. 101, Section 2, Kuang-Fu Road, Hsinchu, Taiwan 30013, R.O.C","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109965968","display_name":"C. L. Lu","orcid":null},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"C. L. Lu","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, No. 101, Section 2, Kuang-Fu Road, Hsinchu, Taiwan 30013, R.O.C"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, No. 101, Section 2, Kuang-Fu Road, Hsinchu, Taiwan 30013, R.O.C","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073462589","display_name":"R. C. T. Lee","orcid":"https://orcid.org/0000-0003-3871-0924"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"R. C. T. Lee","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, No. 101, Section 2, Kuang-Fu Road, Hsinchu, Taiwan 30013, R.O.C"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, No. 101, Section 2, Kuang-Fu Road, Hsinchu, Taiwan 30013, R.O.C","institution_ids":["https://openalex.org/I25846049"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5073462589"],"corresponding_institution_ids":["https://openalex.org/I25846049"],"apc_list":{"value":2635,"currency":"GBP","value_usd":3232},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06889933,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"58","issue":"5","first_page":"1112","last_page":"1121"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.968500018119812,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.968500018119812,"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/T10142","display_name":"Formal Methods in Verification","score":0.9641000032424927,"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/T11797","display_name":"graph theory and CDMA systems","score":0.9621000289916992,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.6427130699157715},{"id":"https://openalex.org/keywords/section","display_name":"Section (typography)","score":0.5957344174385071},{"id":"https://openalex.org/keywords/chin","display_name":"Chin","score":0.5003252029418945},{"id":"https://openalex.org/keywords/bit","display_name":"Bit (key)","score":0.4521520137786865},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4216506779193878},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.14059656858444214}],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.6427130699157715},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.5957344174385071},{"id":"https://openalex.org/C2779881321","wikidata":"https://www.wikidata.org/wiki/Q82714","display_name":"Chin","level":2,"score":0.5003252029418945},{"id":"https://openalex.org/C117011727","wikidata":"https://www.wikidata.org/wiki/Q1278488","display_name":"Bit (key)","level":2,"score":0.4521520137786865},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4216506779193878},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.14059656858444214},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C105702510","wikidata":"https://www.wikidata.org/wiki/Q514","display_name":"Anatomy","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/comjnl/bxu025","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxu025","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.828.4577","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.828.4577","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://comjnl.oxfordjournals.org/content/58/5/1112.full.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W3175651180","https://openalex.org/W2313374935","https://openalex.org/W3030539566","https://openalex.org/W2076310460","https://openalex.org/W4318914932","https://openalex.org/W4237251185","https://openalex.org/W4318914675","https://openalex.org/W4285061751","https://openalex.org/W3171414958"],"abstract_inverted_index":{"Suppose":[0],"that":[1,94,104,223,230,260],"we":[2,14,27,64,70,83,139,151,221],"are":[3,15,45,65,140,152,213],"given":[4,66],"a":[5,52,97,177,183,226],"vector":[6,44,91,100,108],"consisting":[7],"of":[8,22,33,129,170,246,269],"only":[9],"1's":[10,47],"and":[11,13,69,106,127,163,198,211,258],"0's":[12],"interested":[16,141,153],"in":[17,42,90,99,107,142,154,215,237],"finding":[18],"some":[19],"special":[20],"properties":[21,76],"this":[23,137,216],"vector.":[24],"For":[25,81,218],"instance,":[26,82],"like":[28,71],"to":[29,39,57,72,85,113,145,186,191],"determine":[30],"whether":[31,49],"all":[32,46,87,115,121],"the":[34,43,74,78,156,243,247,270],"bits":[35],"from":[36,54,111],"location":[37,40,55,58],"s":[38,56],"e":[41],"or":[48,124],"there":[50,95,224],"exists":[51,96,225],"1":[53],"e.":[59],"In":[60,136],"more":[61],"complicated":[62],"cases,":[63],"two":[67,79],"bit-vectors":[68,195],"investigate":[73],"mutual":[75],"between":[77],"vectors.":[80],"want":[84],"find":[86,187],"locations":[88,110],"i":[89,114],"B":[92],"such":[93,103,188],"k":[98,112],"A,":[101],"k\u2264i,":[102],"A(k)=1":[105],"B,":[109],"assume":[116],"value":[117],"1.":[118],"These":[119],"problems":[120,193],"involve":[122],"\u2018for-all\u2019":[123,197],"\u2018there-exists\u2019":[125,199],"notations":[126],"can":[128,173,231,264],"course":[130],"be":[131,174,232,265],"solved":[132],"by":[133,159],"sequential":[134],"programs.":[135],"paper,":[138],"bit-parallel":[143,235],"process":[144],"solve":[146,192],"these":[147,255],"problems.":[148,273],"That":[149],"is,":[150],"solving":[155],"problem":[157],"efficiently":[158],"using":[160,234,267],"\u2018bitwise-and\u2019,":[161],"\u2018bitwise-or\u2019":[162],"other":[164],"bitwise":[165],"logical":[166,171,178,189,202,228,262],"operations.":[167],"A":[168],"sequence":[169],"operations":[172,236],"expressed":[175],"as":[176],"formula.":[179],"This":[180],"paper":[181],"proposes":[182],"systematical":[184],"method":[185],"formulas":[190,263],"involving":[194],"with":[196],"notations.":[200],"Five":[201],"prototype":[203,272],"problems,":[204,257],"named":[205],"\u2018single-for-all\u2019":[206],"(1's),":[207],"\u2018single-there-exists\u2019,":[208],"\u2018multiple-for-all\u2019,":[209],"\u2018multiple-there-exists\u2019":[210],"\u2018multiple-there-exists-and-for-all\u2019,":[212],"defined":[214],"paper.":[217],"each":[219],"problem,":[220],"show":[222,259],"corresponding":[227],"formula":[229],"computed":[233],"O(n/w)":[238],"time,":[239],"where":[240],"w":[241],"is":[242],"word":[244],"size":[245],"machine.":[248],"We":[249],"also":[250],"propose":[251],"four":[252],"variants":[253],"for":[254],"five":[256,271],"their":[261],"obtained":[266],"those":[268]},"counts_by_year":[],"updated_date":"2026-06-16T07:32:37.131356","created_date":"2025-10-10T00:00:00"}