Hai Xia | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/hai-xia/Hai XiaHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/team/hai-xia/avatar_hu8584271690851454751.jpgHai Xiahttps://ac.tuwien.ac.at/team/hai-xia/Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Designhttps://ac.tuwien.ac.at/publication/agentic-neurosymbolic-collaboration-for-mathematical-discovery-a-case-study-in-combinatorial-design/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/agentic-neurosymbolic-collaboration-for-mathematical-discovery-a-case-study-in-combinatorial-design/LLM-Guided Graph Generation for Structure-Based Local Improvement Methodshttps://ac.tuwien.ac.at/publication/llm-guided-graph-generation-for-structure-based-local-improvement-methods/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/llm-guided-graph-generation-for-structure-based-local-improvement-methods/Smart Cubing for Graph Search: A Comparative Studyhttps://ac.tuwien.ac.at/publication/smart-cubing-for-graph-search-a-comparative-study/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/smart-cubing-for-graph-search-a-comparative-study/Synthesizing Feature Extractors: An Agentic Approach for Algorithm Selectionhttps://ac.tuwien.ac.at/publication/synthesizing-feature-extractors-an-agentic-approach-for-algorithm-selection/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/synthesizing-feature-extractors-an-agentic-approach-for-algorithm-selection/An Introduction to and Survey of Biological Network Visualizationhttps://ac.tuwien.ac.at/publication/an-introduction-to-and-survey-of-biological-network-visualization/Wed, 01 Jan 2025 00:00:00 +0000https://ac.tuwien.ac.at/publication/an-introduction-to-and-survey-of-biological-network-visualization/Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approachhttps://ac.tuwien.ac.at/publication/uncovering-and-verifying-optimal-community-structure-in-complex-networks-a-maxsat-approach/Wed, 01 Jan 2025 00:00:00 +0000https://ac.tuwien.ac.at/publication/uncovering-and-verifying-optimal-community-structure-in-complex-networks-a-maxsat-approach/SAT-Based Tree Decomposition with Iterative Cascading Policy Selectionhttps://ac.tuwien.ac.at/publication/sat-based-tree-decomposition-with-iterative-cascading-policy-selection/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/sat-based-tree-decomposition-with-iterative-cascading-policy-selection/The Power of Collaboration: Learning Large Bayesian Networks at Scalehttps://ac.tuwien.ac.at/publication/the-power-of-collaboration-learning-large-bayesian-networks-at-scale/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/the-power-of-collaboration-learning-large-bayesian-networks-at-scale/Short Plane Supports for Spatial Hypergraphshttps://ac.tuwien.ac.at/publication/short-plane-supports-for-spatial-hypergraphs-2/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/short-plane-supports-for-spatial-hypergraphs-2/Short Plane Supports for Spatial Hypergraphshttps://ac.tuwien.ac.at/publication/short-plane-supports-for-spatial-hypergraphs/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/short-plane-supports-for-spatial-hypergraphs/