咨询与建议

限定检索结果

文献类型

  • 195 篇 期刊文献
  • 125 篇 会议

馆藏范围

  • 320 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 245 篇 理学
    • 235 篇 数学
    • 20 篇 统计学(可授理学、...
    • 16 篇 系统科学
    • 13 篇 物理学
    • 3 篇 化学
    • 3 篇 地球物理学
    • 3 篇 生物学
  • 168 篇 工学
    • 123 篇 计算机科学与技术...
    • 78 篇 软件工程
    • 37 篇 土木工程
    • 34 篇 建筑学
    • 23 篇 测绘科学与技术
    • 17 篇 材料科学与工程(可...
    • 11 篇 信息与通信工程
    • 11 篇 控制科学与工程
    • 10 篇 电子科学与技术(可...
    • 5 篇 电气工程
    • 4 篇 农业工程
    • 3 篇 机械工程
    • 3 篇 光学工程
    • 3 篇 化学工程与技术
    • 3 篇 生物工程
    • 2 篇 轻工技术与工程
    • 2 篇 林业工程
    • 2 篇 生物医学工程(可授...
  • 30 篇 管理学
    • 18 篇 图书情报与档案管...
    • 13 篇 管理科学与工程(可...
    • 5 篇 工商管理
  • 4 篇 法学
    • 4 篇 社会学
  • 4 篇 农学
    • 4 篇 作物学
  • 1 篇 经济学
  • 1 篇 教育学

主题

  • 24 篇 parameterization
  • 18 篇 graph theory
  • 14 篇 polynomial appro...
  • 12 篇 graphic methods
  • 11 篇 trees (mathemati...
  • 11 篇 parameter estima...
  • 9 篇 approximation al...
  • 9 篇 directed graphs
  • 8 篇 drawing (graphic...
  • 8 篇 computational co...
  • 7 篇 hamiltonians
  • 7 篇 visualization
  • 7 篇 constraint satis...
  • 5 篇 encoding (symbol...
  • 5 篇 computational ge...
  • 5 篇 optimization
  • 4 篇 undirected graph...
  • 4 篇 machine learning
  • 4 篇 clustering algor...
  • 4 篇 polynomials

机构

  • 227 篇 algorithms and c...
  • 17 篇 department of in...
  • 16 篇 department of co...
  • 13 篇 algorithms and c...
  • 9 篇 indian institute...
  • 8 篇 school of comput...
  • 6 篇 faculty of infor...
  • 5 篇 school of comput...
  • 5 篇 school of comput...
  • 5 篇 department of in...
  • 5 篇 department of ap...
  • 5 篇 department of ma...
  • 4 篇 university of le...
  • 4 篇 department of en...
  • 4 篇 department of en...
  • 4 篇 institute of inf...
  • 4 篇 institute of mat...
  • 4 篇 algorithms and c...
  • 4 篇 algorithms and c...
  • 4 篇 cispa helmholtz ...

作者

  • 85 篇 ganian robert
  • 69 篇 nöllenburg marti...
  • 47 篇 szeider stefan
  • 31 篇 eiben eduard
  • 31 篇 bhore sujoy
  • 27 篇 ordyniak sebasti...
  • 18 篇 simonov kirill
  • 17 篇 hamm thekla
  • 17 篇 klute fabian
  • 16 篇 ramanujan m.s.
  • 14 篇 kanj iyad
  • 14 篇 montecchiani fab...
  • 13 篇 wallinger markus
  • 12 篇 golovach petr a.
  • 12 篇 li guangping
  • 12 篇 wulms jules
  • 12 篇 fomin fedor v.
  • 11 篇 rutter ignaz
  • 9 篇 gronemann martin
  • 9 篇 villedieu anaïs

语言

  • 305 篇 英文
  • 15 篇 其他
检索条件"机构=Algorithms and Complexity Group"
320 条 记 录,以下是11-20 订阅
排序:
Segment Intersection Representations, Level Planarity and Constrained Ordering Problems
arXiv
收藏 引用
arXiv 2025年
作者: Fink, Simon D. Pfretzschner, Matthias Stumpf, Peter Algorithms and Complexity Group Technische Universität Wien Austria Faculty of Computer Science and Mathematics University of Passau Germany Department of Theoretical Computer Science Faculty of Information Technology Czech Technical University Prague Czech Republic Department of Applied Mathematics Charles University Prague Czech Republic
In the Segment Intersection Graph Representation Problem, we want to represent the vertices of a graph as straight line segments in the plane such that two segments cross if and only if there is an edge between the co... 详细信息
来源: 评论
SAT Backdoors: Depth Beats Size  30
SAT Backdoors: Depth Beats Size
收藏 引用
30th Annual European Symposium on algorithms, ESA 2022
作者: Dreier, Jan Ordyniak, Sebastian Szeider, Stefan Algorithms and Complexity Group TU Wien Austria Algorithms and Complexity Group University of Leeds United Kingdom
For several decades, much effort has been put into identifying classes of CNF formulas whose satisfiability can be decided in polynomial time. Classic results are the linear-time tractability of Horn formulas (Aspvall... 详细信息
来源: 评论
CSP Beyond Tractable Constraint Languages  28
CSP Beyond Tractable Constraint Languages
收藏 引用
28th International Conference on Principles and Practice of Constraint Programming, CP 2022
作者: Dreier, Jan Ordyniak, Sebastian Szeider, Stefan Algorithms and Complexity Group TU Wien Austria Algorithms and Complexity Group University of Leeds United Kingdom
The constraint satisfaction problem (CSP) is among the most studied computational problems. While NP-hard, many tractable subproblems have been identified (Bulatov 2017, Zuk 2017). Backdoors, introduced by Williams, G... 详细信息
来源: 评论
MosaicSets: Embedding Set Systems into Grid Graphs
收藏 引用
IEEE Transactions on Visualization and Computer Graphics 2023年 第1期29卷 875-885页
作者: Rottmann, Peter Wallinger, Markus Bonerath, Annika Gedicke, Sven Nollenburg, Martin Haunert, Jan-Henrik Geoinformation Group University of Bonn Germany Algorithms and Complexity Group Technical University of Vienna Austria
Visualizing sets of elements and their relations is an important research area in information visualization. In this paper, we present MosaicSets: a novel approach to create Euler-like diagrams from non-spatial set sy... 详细信息
来源: 评论
Searching for Smallest Universal Graphs and Tournaments with SAT  29
Searching for Smallest Universal Graphs and Tournaments with...
收藏 引用
29th International Conference on Principles and Practice of Constraint Programming, CP 2023
作者: Zhang, Tianwei Szeider, Stefan Algorithms and Complexity Group TU Wien Austria
A graph is induced k-universal if it contains all graphs of order k as an induced subgraph. For over half a century, the question of determining smallest k-universal graphs has been studied. A related question asks fo... 详细信息
来源: 评论
Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries  30
Computing Small Rainbow Cycle Numbers with SAT Modulo Symmet...
收藏 引用
30th International Conference on Principles and Practice of Constraint Programming, CP 2024
作者: Kirchweger, Markus Szeider, Stefan Algorithms and Complexity Group TU Wien Austria
Envy-freeness up to any good (EFX) is a key concept in Computational Social Choice for the fair division of indivisible goods, where no agent envies another's allocation after removing any single item. A deeper un... 详细信息
来源: 评论
Slim Tree-Cut Width  17
Slim Tree-Cut Width
收藏 引用
17th International Symposium on Parameterized and Exact Computation, IPEC 2022
作者: Ganian, Robert Korchemna, Viktoriia Algorithms and Complexity Group TU Wien Austria
Tree-cut width is a parameter that has been introduced as an attempt to obtain an analogue of treewidth for edge cuts. Unfortunately, in spite of its desirable structural properties, it turned out that tree-cut width ... 详细信息
来源: 评论
Small Unsatisfiable k-CNFs with Bounded Literal Occurrence  27
Small Unsatisfiable k-CNFs with Bounded Literal Occurrence
收藏 引用
27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024
作者: Zhang, Tianwei Peitl, Tomáš Szeider, Stefan Algorithms and Complexity Group TU Wien Austria
We obtain the smallest unsatisfiable formulas in subclasses of k-CNF (exactly k distinct literals per clause) with bounded variable or literal occurrences. Smaller unsatisfiable formulas of this type translate into st... 详细信息
来源: 评论
The Parameterized complexity Of Extending Stack Layouts  32
The Parameterized Complexity Of Extending Stack Layouts
收藏 引用
32nd International Symposium on Graph Drawing and Network Visualization, GD 2024
作者: Depian, Thomas Fink, Simon D. Ganian, Robert Nöllenburg, Martin Algorithms and Complexity Group TU Wien Austria
An -page stack layout (also known as an -page book embedding) of a graph is a linear order of the vertex set together with a partition of the edge set into stacks (or pages), such that the endpoints of no two edges on... 详细信息
来源: 评论
An algorithmic study of fully dynamic independent sets for map labeling  28
An algorithmic study of fully dynamic independent sets for m...
收藏 引用
28th Annual European Symposium on algorithms, ESA 2020
作者: Bhore, Sujoy Li, Guangping Nöllenburg, Martin Algorithms and Complexity Group TU Wien Austria
Map labeling is a classical problem in cartography and geographic information systems (GIS) that asks to place labels for area, line, and point features, with the goal to select and place the maximum number of indepen... 详细信息
来源: 评论