Keyword:competition

Publications
Artbook: Connecting Artists and Art Lovers - a Social Networking Site for Artists to Showcase and Sell Their Creative Works Md Burhanul Islam, Mukeswar Shah Teli, Sujit Kumar Dinda, Md Shamim Islam and Isaac Teba Wisner EasyChair Preprint 10398
Digital Currency Schemes: More or Less Sustainable? Limits to Growth, Electronification and the Negotiability of Money in Europe Gabriella Gimigliano and Valentino Cattelan EasyChair Preprint 1360
ARCH-COMP 2020 Category Report: Falsification Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders and Christian Schilling In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
The Effect of Scrambling CNFs Armin Biere and Marijn Heule In:Proceedings of Pragmatics of SAT 2015 and 2018
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper) Domenico Bianculli and Srdjan Krstic In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools