UNLOC - Algorithmes Incomplets pour la réfutation

In UNLOC, we focused on incomplete search for UNSAT, a challenging and promising question, and developing new learning schemes for Conflict Directed Clause Learning algorithms.

Activités de recherche
  Intelligence Artificielle
  Logique

Membres LRI