The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Socs with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1992-2000 (26) 2001 (23) 2002 (66) 2003 (96) 2004 (93) 2005 (121) 2006 (136) 2007 (142) 2008 (116) 2009 (65) 2010 (91) 2011 (81) 2012 (124) 2013 (81) 2014 (137) 2015 (95) 2016 (74) 2017 (92) 2018 (71) 2019 (104) 2020 (72) 2021 (109) 2022 (105) 2023 (85) 2024 (10)
Publication types (Num. hits)
article(393) book(3) incollection(3) inproceedings(1787) phdthesis(13) proceedings(16)
Venues (Conferences, Journals, ...)
SOCS(557) MCSoC(81) DATE(74) DAC(68) ITC(56) IEEE Trans. Very Large Scale I...(43) ASP-DAC(40) CoRR(39) IEEE Trans. Comput. Aided Des....(39) SoCC(33) VLSI Design(32) IEEE Des. Test Comput.(31) ISCAS(30) VTS(30) DSD(25) FPL(25) More (+10 of total 329)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 772 occurrences of 403 keywords

Results
Found 2215 publication records. Showing 2215 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
72JoAnn M. Paul Programmers' views of SoCs. Search on Bibsonomy CODES+ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF heterogeneous multiprocessing, programmers' views, systems-on-chips (SoCs), networks on chip, design languages
67Claudia Kretzschmar, Christian Galke, Heinrich Theodor Vierhaus A Hierarchical Self Test Scheme for SoCs. Search on Bibsonomy IOLTS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
63Claus Atzenbeck, David L. Hicks Socs: increasing social and group awareness for Wikis by example of Wikipedia. Search on Bibsonomy Int. Sym. Wikis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF collaboration, coordination, Web 2.0, wiki, Wikipedia, hypermedia, Socs, social awareness, group awareness
58Anuja Sehgal, Sule Ozev, Krishnendu Chakrabarty Test infrastructure design for mixed-signal SOCs with wrapped analog cores. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Letícia Maria Veiras Bolzani, Paolo Bernardi, Matteo Sonza Reorda An optimized hybrid approach to provide fault detection and correction in SoCs. Search on Bibsonomy SBCCI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fault correction, SoCs, fault detection, hybrid approach
49Tomokazu Yoneda, Kimihiko Masuda, Hideo Fujiwara Power-constrained test scheduling for multi-clock domain SoCs. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multi-clock domain SoC, power consumption, test scheduling, test access mechanism
49Krishnendu Chakrabarty, Vikram Iyengar, Mark D. Krasniewski Test planning for modular testing of hierarchical SOCs. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Anuja Sehgal, Fang Liu 0029, Sule Ozev, Krishnendu Chakrabarty Test Planning for Mixed-Signal SOCs with Wrapped Analog Cores. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Anuja Sehgal, Sule Ozev, Krishnendu Chakrabarty A Flexible Design Methodology for Analog Test Wrappers in Mixed-Signal SOCs. Search on Bibsonomy ICCD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Hans G. Kerkhoff, Jarkko J. M. Huijts Testing of a Highly Reconfigurable Processor Core for Dependable Data Streaming Applications. Search on Bibsonomy DELTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reconfigurable multi-processor-cores SoC, embedded system test, dependable SoCs, ATPG, Design-for-Test, self-repair
45H. Bernhard Pogge The next chip challenge: effective methods for viable mixed technology SoCs. Search on Bibsonomy DAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF SoCs (System on a Chip), chip fabrication methods, chip subsector concepts, chip/packing integration
45Alex Fukunaga, Akihiro Kishimoto Abstracts of Papers Presented at SoCS 2017 in the Previously Published Paper Track. Search on Bibsonomy SOCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
45 SoCS 2014 Organization. Search on Bibsonomy SOCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
45Malte Helmert, Gabriele Röger SoCS 2013 Organization. Search on Bibsonomy SOCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
45 SoCS 2010 Organization. Search on Bibsonomy SOCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
44Paolo Bernardi, Letícia Maria Veiras Bolzani, Alberto Manzone, Massimo Osella, Massimo Violante, Matteo Sonza Reorda Software-Based On-Line Test of Communication Peripherals in Processor-Based Systems for Automotive Applications. Search on Bibsonomy MTV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Xuan-Tu Tran, Jean Durupt, François Bertrand, Vincent Beroulle, Chantal Robach A DFT Architecture for Asynchronous Networks-on-Chip. Search on Bibsonomy ETS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Lyl M. Ciganda, Francesco Abate, Paolo Bernardi, M. Bruno, Matteo Sonza Reorda An enhanced FPGA-based low-cost tester platform exploiting effective test data compression for SoCs. Search on Bibsonomy DDECS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Andreas Lankes, Thomas Wild, Johannes Zeppenfeld System Level Simulation of Autonomic SoCs with TAPES. Search on Bibsonomy ARCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Andreas Apostolakis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis M. Paschalis A Functional Self-Test Approach for Peripheral Cores in Processor-Based SoCs. Search on Bibsonomy IOLTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Andrew B. T. Hopkins, Klaus D. McDonald-Maier Trace algorithms for deeply integrated complex and hybrid SoCs. Search on Bibsonomy AHS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Prabhat Mishra 0001, Aviral Shrivastava, Nikil D. Dutt Architecture description language (ADL)-driven software toolkit generation for architectural exploration of programmable SOCs. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF programmable architecture, design space exploration, Architecture description language, embedded processor, retargetable compilation
41Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen Scheduling-based test-case generation for verification of multimedia SoCs. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF test generation, system on a chip, functional verification
41Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Search on Bibsonomy Global Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Vikram Iyengar, Sandeep Kumar Goel, Erik Jan Marinissen, Krishnendu Chakrabarty Test Resource Optimization for Multi-Site Testing of SOCs Under ATE Memory Depth Constraints. Search on Bibsonomy ITC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Salvador Mir, Benoît Charlot, Gabriela Nicolescu, Philippe Coste, Fabien Parrain, Nacer-Eddine Zergainoh, Bernard Courtois, Ahmed Amine Jerraya, Márta Rencz Towards design and validation of mixed-technology SOCs. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF design, verification, MEMS, SOCs, architecture exploration, HDLs, cosimulation
35Pradip A. Thaker Holistic verification: myth or magic bullet? Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SoC verification, mixed-signal verification, power management verification, emulation
35Andreas Apostolakis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis M. Paschalis Functional Processor-Based Testing of Communication Peripherals in Systems-on-Chip. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Subir K. Roy Top Level SOC Interconnectivity Verification Using Formal Techniques. Search on Bibsonomy MTV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Feng Liu, Vipin Chaudhary A Practical OpenMP Compiler for System on Chips. Search on Bibsonomy WOMPAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Sandeep Kumar Goel, Erik Jan Marinissen, Anuja Sehgal, Krishnendu Chakrabarty Testing of SoCs with Hierarchical Cores: Common Fallacies, Test Access Optimization, and Test Scheduling. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Xiaoxia Wu, Yibo Chen, Krishnendu Chakrabarty, Yuan Xie 0001 Test-access mechanism optimization for core-based three-dimensional SOCs. Search on Bibsonomy ICCD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Abbas Eslami Kiasari, Shaahin Hessabi, Hamid Sarbazi-Azad PERMAP: A performance-aware mapping for application-specific SoCs. Search on Bibsonomy ASAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Sudarshan Bahukudumbi, Krishnendu Chakrabarty Wafer-Level Modular Testing of Core-Based SoCs. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Théodore Marescaux, Erik Brockmeyer, Henk Corporaal The Impact of Higher Communication Layers on NoC Supported MP-SoCs. Search on Bibsonomy NOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Chandan Giri, Soumojit Sarkar, Santanu Chattopadhyay A genetic algorithm based heuristic technique for power constrained test scheduling in core-based SOCs. Search on Bibsonomy VLSI-SoC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Andreas Lankes, Thomas Wild, Johannes Zeppenfeld Power Estimation of Time Variant SoCs with TAPES. Search on Bibsonomy DSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Chandan Giri, Soumojit Sarkar, Santanu Chattopadhyay Test Scheduling for Core-Based SOCs Using Genetic Algorithm Based Heuristic Approach. Search on Bibsonomy ICIC (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF wrapper design, test scheduling, test access mechanism, SOC testing
32Paolo Bernardi, Letícia Maria Veiras Bolzani, Matteo Sonza Reorda A Hybrid Approach to Fault Detection and Correction in SoCs. Search on Bibsonomy IOLTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Wim Vanderbauwhede Separation of Data flow and Control flow in Reconfigurable Multi-core SoCs using the Gannet Service-based Architecture. Search on Bibsonomy AHS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Qiang Xu 0001, Nicola Nicolici Multifrequency TAM design for hierarchical SOCs. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Tiehan Lv, Jiang Xu 0001, Wayne H. Wolf, I. Burak Özer, Jörg Henkel, Srimat T. Chakradhar A Methodology for Architectural Design of Multimedia Multiprocessor SoCs. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Tomokazu Yoneda, Hisakazu Takakuwa, Hideo Fujiwara Power-Constrained Area and Time Co-Optimization for SoCs Based on Consecutive Testability. Search on Bibsonomy Asian Test Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF system-on-chip, power consumption, test scheduling, test access mechanism, consecutive testability
32Tero Kangas, Jouni Riihimäki, Erno Salminen, Vesa Lahtinen, Heikki Orsila, Kimmo Kuusilinna, Timo D. Hämäläinen A Communication-Centric Design Flow for HIBI-Based SoCs. Search on Bibsonomy SAMOS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Mounir Benabdenbi, Alain Greiner, François Pêcheux, Emmanuel Viaud, Matthieu Tuna STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Ambar A. Gadkari, S. Ramesh 0001, Rubin A. Parekhji CESC: a visual formalism for specification and verification of SoCs. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF verification, specification, visual languages, system-level design
32Anuja Sehgal, Sule Ozev, Krishnendu Chakrabarty TAM Optimization for Mixed-Signal SOCs using Analog Test Wrappers. Search on Bibsonomy ICCAD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Vikram Iyengar, Krishnendu Chakrabarty, Mark D. Krasniewski, Gopind N. Kumar Design and Optimization of Multi-level TAM Architectures for Hierarchical SOCs. Search on Bibsonomy VTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Rohit Kapur, Thomas W. Williams Manufacturing Test of SoCs. Search on Bibsonomy Asian Test Symposium The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Ahmed Amine Jerraya, Sungjoo Yoo, Aimen Bouchhima, Gabriela Nicolescu Validation in a Component-Based Design Flow for Multicore SoCs. Search on Bibsonomy ISSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF validation, SoC, abstraction levels, component-based design, cosimulation
32Erik Jan Marinissen, Vikram Iyengar, Krishnendu Chakrabarty A Set of Benchmarks fo Modular Testing of SOCs. Search on Bibsonomy ITC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonéro Decreasing Test Qualification Time in AMS and RF Systems. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMS and RF SoCs, parametric fault injection, behavioral modeling, fault-based test, design validation, VHDL-AMS, qualification
31Albrecht Mayer, Harry Siebert, Klaus D. McDonald-Maier Boosting Debugging Support for Complex Systems on Chip. Search on Bibsonomy Computer The full citation details ... 2007 DBLP  DOI  BibTeX  RDF debugging support, embedded systems, SoCs
31Rajesh K. Gupta 0001 On-chip networks. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF integration, SoCs, networks on chips, on-chip interconnects
31André Ivanov, Giovanni De Micheli Guest Editors' Introduction: The Network-on-Chip Paradigm in Practice and Research. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF micronetworks, networks on chips, multiprocessor SoCs, on-chip interconnection network, on-chip communication, infrastructure IP
31Giovanni De Micheli Reliable communication in systems on chips. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF VLSI, networking, SoCs
31Roman Barták, Wheeler Ruml, Oren Salzman (eds.) Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  BibTeX  RDF
31 Frontmatter. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31David Fairbairn Multi-Agent Path-Finding and Algorithmic Graph Theory (Student Abstract). Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Francesco Percassi, Enrico Scala, Mauro Vallati On the Notion of Fixability of PDDL+ Plans [Extended Abstract]. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Thomas K. Nobes Pipe-Routing and Pathfinding in 3D (Student Abstract). Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Shohin Mukherjee, Maxim Likhachev GePA*SE: Generalized Edge-Based Parallel A* for Slow Evaluations. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Andrii Nyporko, Lukás Chrpa Towards an Effective Framework Combining Planning and Scheduling [Extended Abstract]. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Tzvika Geft Fine-Grained Complexity Analysis of Multi-Agent Path Finding on 2D Grids. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Michael Katz 0001, Junkyu Lee 0001, Shirin Sohrabi Generating SAS+ Planning Tasks of Specified Causal Structure. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Michael Katz 0001, Junkyu Lee 0001 K∗ and Partial Order Reduction for Top-Quality Planning. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Marco Dalla, Benjamin Provan-Bessell, Andrea Visentin, Barry O'Sullivan SAT Feature Analysis for Machine Learning Classification Tasks. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Lior Siag, Shahaf S. Shperberg, Ariel Felner, Nathan R. Sturtevant Comparing Front-to-Front and Front-to-End Heuristics in Bidirectional Search. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Enrico Saccon Multi-Agent Open Framework: Developing a Holistic System to Solve MAPF (Student Abstract). Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Jonathan Morag, Roni Stern, Ariel Felner Adapting to Planning Failures in Lifelong Multi-Agent Path Finding. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Shizhe Zhao, Daniel Harabor, Peter J. Stuckey Reducing Redundant Work in Jump Point Search. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Stephen Wissow Searching with Distributional Heuristics (Student Abstract). Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Shao-Hung Chan, Roni Stern, Ariel Felner, Sven Koenig Greedy Priority-Based Search for Suboptimal Multi-Agent Path Finding. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Zhongqiang Ren, Sivakumar Rathinam, Howie Choset Search Algorithms for Multi-Agent Teamwise Cooperative Path Finding [Extended Abstract]. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Marc-Emmanuel Coupvent des Graviers, Kevin Osanlou, Christophe Guettier, Tristan Cazenave Hybrid Search with Graph Neural Networks for Constraint-Based Navigation Planning [Extended Abstract]. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Han Zhang 0018, Oren Salzman, Ariel Felner, T. K. Satish Kumar, Shawn Skyler, Carlos Hernández Ulloa, Sven Koenig Towards Effective Multi-Valued Heuristics for Bi-objective Shortest-Path Algorithms via Differential Heuristics. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31David Vainshtein, Yaakov Sherma, Kiril Solovey, Oren Salzman Terraforming - Environment Manipulation during Disruptions for Multi-Agent Pickup and Delivery. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Chao Lei, Nir Lipovetzky, Krista A. Ehinger Novelty and Lifted Helpful Actions in Generalized Planning. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Ruth Helen Bergin, Marco Dalla, Andrea Visentin, Barry O'Sullivan, Gregory M. Provan Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Takumi Shimoda, Alex Fukunaga Improved Exploration of the Bench Transition System in Parallel Greedy Best First Search. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Oleg Tarakanov Complete Search of Sliding Tile Puzzles on a Personal Computer [Extended Abstract]. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Eyal Weiss 0001 A Generalization of the Shortest Path Problem to Graphs with Multiple Edge-Cost Estimates (Student Abstract). Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Václav Sobotka, Hana Rudová Real-World Pickup and Delivery Problem with Transfers. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Devin Wild Thomas Domain Specific Situated Planning (Student Abstract). Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Ryo Kuroiwa 0002 Domain-Independent Dynamic Programming (Student Abstract). Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Thomas K. Nobes, Daniel Harabor, Michael Wybrow, Stuart D. C. Walsh Voxel Benchmarks for 3D Pathfinding: Sandstone, Descent, and Industrial Plants. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Junkyu Lee 0001, Michael Katz 0001, Shirin Sohrabi On K* Search for Top-K Planning. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Adittyo Paul, Ying Feng, Jiaoyang Li 0001 A Fast Rescheduling Algorithm for Real-Time Multi-Robot Coordination [Extended Abstract]. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Shawn Skyler, Shahaf S. Shperberg, Dor Atzmon, Ariel Felner, Oren Salzman, Shao-Hung Chan, Han Zhang 0018, Sven Koenig, William Yeoh 0001, Carlos Hernández Ulloa Must-Expand Nodes in Multi-Objective Search [Extended Abstract]. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Bojie Shen Tracking Progress in Multi-Agent Path Finding (Student Abstract). Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Hanlan Yang, Shohin Mukherjee, Maxim Likhachev A-ePA*SE: Anytime Edge-Based Parallel A* for Slow Evaluations. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Alison Paredes Structural Bias in Heuristic Search (Student Abstract). Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Yue Zhang, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey Efficient Multi Agent Path Finding with Turn Actions. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Adi Botea, Vadim Bulitko Core Expansion in Optimization Crosswords. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Conny Olz, Pascal Bercher A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Wiktor Piotrowski, Yoni Sher, Sachin Grover, Roni Stern, Shiwali Mohan Heuristic Search for Physics-Based Problems: Angry Birds in PDDL+ [Extended Abstract]. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Xiaodi Zhang 0002, Alban Grastien Improvements to CPCES. Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Václav Sobotka Uncertainty and Dynamicity in Real-World Vehicle Routing (Student Abstract). Search on Bibsonomy SOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Lukás Chrpa, Alessandro Saetti (eds.) Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022 Search on Bibsonomy SOCS The full citation details ... 2022 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 2215 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license