Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection
Published in INFORMS journal on computing
(01.11.2024)
Get full text
Journal Article
A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks
Dubrova, E., Teslenko, M.
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.09.2011)
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.09.2011)
Get full text
Journal Article
Cellular topology optimization on differentiable Voronoi diagrams
Feng, Fan, Xiong, Shiying, Liu, Ziyue, Xian, Zangyueyang, Zhou, Yuqing, Kobayashi, Hiroki, Kawamoto, Atsushi, Nomura, Tsuyoshi, Zhu, Bo
Published in International journal for numerical methods in engineering (15.01.2023)
Published in International journal for numerical methods in engineering (15.01.2023)
Get full text
Journal Article
Research on Intrusion Prediction Algorithm Based on Association Attack Diagram ASAD
He, Xiao
Published in Proceedings (International Conference on Communication Software and Networks) (01.06.2019)
Published in Proceedings (International Conference on Communication Software and Networks) (01.06.2019)
Get full text
Conference Proceeding
A Flow-Based Formulation for Parallel Machine Scheduling Using Decision Diagrams
Published in INFORMS journal on computing
(01.11.2024)
Get full text
Journal Article
Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not
Burgholzer, Lukas, Ploier, Alexander, Wille, Robert
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.04.2023)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.04.2023)
Get full text
Journal Article
A Matching Algorithm Based on Voronoi Diagram for Multi-Scale Polygonal Residential Areas
Wu, Jianhua, Wan, Yangyang, Chiang, Yao-Yi, Fu, Zhongliang, Deng, Min
Published in IEEE access (01.01.2018)
Published in IEEE access (01.01.2018)
Get full text
Journal Article
Expected Value of Partial Perfect Information in Hybrid Models Using Dynamic Discretization
Yet, Barbaros, Constantinou, Anthony, Fenton, Norman, Neil, Martin
Published in IEEE access (01.01.2018)
Published in IEEE access (01.01.2018)
Get full text
Journal Article
Optimal power diagrams via function approximation
Xiao, Yanyang, Chen, Zhonggui, Cao, Juan, Zhang, Yongjie Jessica, Wang, Cheng
Published in Computer aided design (01.09.2018)
Published in Computer aided design (01.09.2018)
Get full text
Journal Article