Search results

Publication date Communities Collections Article title Author(s) Journal/Conference
8 Aug 2025 SERC Institute for Infocomm Research Practically Feasible Proof Logging for Pseudo-Boolean Optimization (Pending publish) Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, Marc Vinyals International Conference on Principles and Practice of Constraint Programming (CP)
7 Aug 2025 SERC Institute for Infocomm Research Efficient Certified Reasoning for Binarized Neural Networks (Pending publish) Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel International Conference on Theory and Applications of Satisfiability Testing (SAT)
25 Jul 2024 SERC Institute for Infocomm Research Formally Certified Approximate Model Counting Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel Lecture Notes in Computer Science
30 Jun 2024 SERC Institute for Infocomm Research Certified MaxSAT Preprocessing Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström Lecture Notes in Computer Science
25 Mar 2024 SERC Institute for Infocomm Research End-to-End Verification for Subgraph Solving Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan Proceedings of the AAAI Conference on Artificial Intelligence