GOC

SAT Competition 2017

Chu-Min Li (équipe GOC) et des collègues de l'Université de Huazhong (Chine) et Barcelone (Espagne) remportent la competition SAT 2017

Cette compétition permet de confronter des solvers de problèmes Boolean Satisfiability (SAT). Elle est organisée en parallèle de la Conference Internationale Theory and Applications of Satisfiability Testing and stands, qui s'est déroulée cette année à Helsinki.

 

Pages