The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for all

Publication years (Num. hits)
1953-1960 (28) 1961-1962 (26) 1963-1964 (27) 1965-1966 (23) 1967 (25) 1968 (23) 1969 (23) 1970-1972 (20) 1973 (28) 1974 (65) 1975 (46) 1976 (66) 1977 (49) 1978 (69) 1979 (61) 1980 (82) 1981 (62) 1982 (86) 1983 (98) 1984 (120) 1985 (190) 1986 (167) 1987 (299) 1988 (430) 1989 (457) 1990 (582) 1991 (413) 1992 (511) 1993 (563) 1994 (739) 1995 (991) 1996 (1007) 1997 (1276) 1998 (1393) 1999 (2138) 2000 (2675) 2001 (3359) 2002 (3935) 2003 (4721) 2004 (6380) 2005 (7643) 2006 (9041) 2007 (9374) 2008 (10902) 2009 (7436) 2010 (1338) 2011 (586) 2012 (573) 2013 (579) 2014 (689) 2015 (653) 2016 (281)
Publication types (Num. hits)
article(17773) book(18) incollection(2720) inproceedings(61794) phdthesis(12) proceedings(31)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 80488 occurrences of 18150 keywords

Results
Found 82357 publication records. Showing 82348 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
2Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Infeasibility, Minimal unsatisfiable subformula, MUS, Smallest minimal unsatisfiable subformula, SMUS, SAT, Boolean satisfiability
7Zhuo Fu, Richard W. Eglese, Michael B. Wright A Branch-and-Bound Algorithm for Finding All Optimal Solutions of the Assignment Problem. Search on Bibsonomy APJOR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Werner Grass A branch-and-bound method for optimal transformation of data flow graphs for observing hardware constraints. Search on Bibsonomy EURO-DAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Xiangyong Li, Yash P. Aneja A Branch-and-Cut Algorithm for the Minimum Energy Symmetric Connectivity Problem in Wireless Networks. Search on Bibsonomy COCOA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrea Bettinelli, Alberto Ceselli, Giovanni Righini A branch-and-price algorithm for the two-dimensional level strip packing problem. Search on Bibsonomy 4OR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MSC classification (2000) 90C27
8Cees Duin A Branch-Checking Algorithm for All-Pairs Shortest Paths. Search on Bibsonomy Algorithmica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Dynamic programming, Shortest path, Shortest path tree
1Boumediene Belkhouche, R. Raymond Lang, Chung Wa Ng A Branching Time Semantics for the Ada Rendezvous Mechanism. Search on Bibsonomy HICSS (1) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Matthew Bishop A Breadth-First Strategy for Mating Search. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Khaoula Mahmoudi, Sami Faïz A Bridge between Document Management System and Geographical Information System. Search on Bibsonomy SITIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Multi-Agents Systems, Geographic Information System, Multi-Document Summarization, Spatial Relationships, Geographic Database, Rhetorical Structure Theory, TextTiling
1Lourdes Moreno, Paloma Martínez, Belén Ruíz-Mezcua A Bridge to Web Accessibility from the Usability Heuristics. Search on Bibsonomy USAB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF usability, web accessibility, Heuristic Evaluation
1Irith Pomeranz, Sudhakar M. Reddy A Bridging Fault Model Where Undetectable Faults Imply Logic Redundancy. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Leslie G. Valiant A Bridging Model for Multi-core Computing. Search on Bibsonomy ESA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Sussner, Marcos Eduardo Valle A Brief Account of the Relations between Gray-Scale Mathematical Morphologies. Search on Bibsonomy SIBGRAPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Eric Sadit Tellez, Edgar Chávez, Antonio Camarena-Ibarrola A Brief Index for Proximity Searching. Search on Bibsonomy CIARP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dan Boneh A Brief Look at Pairings Based Cryptography. Search on Bibsonomy FOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sang-Woon Kim, B. John Oommen A brief taxonomy and ranking of creative prototype reduction schemes. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Learning Vector Quantisation (LVQ), Machine Learning, Support Vector Machines (SVM), Prototype Reduction Schemes (PRS)
1Ruiping Wang 0003, Ahmed Karmouch A Broadband Multimedia TeleLearning System. Search on Bibsonomy HPDC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
20Yih-jia Tsai, Philip K. McKinley A Broadcast Algorithm for All-Port Wormhole-Routed Torus Networks. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF all-port, Broadcast, wormhole routing, collective communication, torus, dominating set
1Elsa L. Gunter A Broader Class of Trees for Recursive Type Definitions for HOL. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jozef Gruska A broader view on the limitations of information processing and communication by nature. Search on Bibsonomy Natural Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Frontiers and barriers of information processing, Information processing by nature, Quantum information processing, Church-Turing barrier, Security, Feasibility
Displaying result #701 - #720 of 82348 (20 per page; Change: )
Pages: [<<][26][27][28][29][30][31][32][33][34][35][36][37][38][39]
[40][41][42][43][44][45][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.