14 research outputs found
Finding Optimal 2-Packing Sets on Arbitrary Graphs at Scale
A 2-packing set for an undirected graph is a subset such that any two vertices have no common
neighbors. Finding a 2-packing set of maximum cardinality is a NP-hard problem.
We develop a new approach to solve this problem on arbitrary graphs using its
close relation to the independent set problem. Thereby, our algorithm red2pack
uses new data reduction rules specific to the 2-packing set problem as well as
a graph transformation. Our experiments show that we outperform the
state-of-the-art for arbitrary graphs with respect to solution quality and also
are able to compute solutions multiple orders of magnitude faster than
previously possible. For example, we are able to solve 63% of our graphs to
optimality in less than a second while the competitor for arbitrary graphs can
only solve 5% of the graphs in the data set to optimality even with a 10 hour
time limit. Moreover, our approach can solve a wide range of large instances
that have previously been unsolved
LIPIcs, Volume 251, ITCS 2023, Complete Volume
LIPIcs, Volume 251, ITCS 2023, Complete Volum
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing
Computer Aided Verification
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic