Oscar Defrain

Une plongée profonde dans les signatures de liste pour les formules XOR-CNF et leurs complexités.