Bonjour =C3=A0 toutes et tous,
un petit rappel pour le s=C3=A9minaire de (jeudi) 11h :
Jeudi 28 janvier de 11h =C3=A0 midi, nous aurons le plaisir d’=C3=A9=
couter
et d’=C3=A9changer avec Abdallah Saffidine =C3=A0 propos de "Pos=
itional
Games and Quantified Boolean Formulas" (encodage en QBF de
certains jeux de plateaux =C3=A0 deux joueurs).
Les s=C3=A9minaires se feront avec Teams et les coordonn=C3=A9es sont
donn=C3=A9es ci-dessous.
Bien cordialement
Tristan et Christophe
———————-
Tristan Cazenave
LAMSADE – Universit=C3=A9 Paris Dauphine
Christophe Rey
LIMOS – Universit=C3=A9 Clermont Auvergne
GT IA des jeux / Game AI WG (GDR IA du CNRS)
Site Web
– Fo=
rum
————
Groupe de
Travail en IA des jeux du GDR IA du CNRS vous a invit=C3=A9 =
=C3=A0
=C2=AB [GT IA des jeux] S=C3=A9minaire en ligne, 28 janv=
ier
11h-midi. Abdallah Saffidine – Positional Games and
Quantified Boolean Formulas =C2=BB
Titre :
[GT IA des jeux] S=C3=A9mina=ire
en ligne, 28 janvier 11h-midi. Abdallah Saffidine –
Positional Games and Quantified Boolean Formulas
Quand :
jeudi 28 janvier 2021 11:00 =E2=
=80=93
12:00
Organisateur :
Groupe de Travail en IA des
jeux du GDR IA du CNRS <GroupedeTravailenIAdesjeuxduGDRIAduCNRS@=
ucafr.onmicrosoft.com>
Description :
Abdallah Saffidine is a
lecturer at the University of New South Wales, Sydney,
Australia since 2018. Before that, Abdallah had been a
Postdoctoral Research Fellow at ANU, Australia and at
UNSW, Australia, and graduated with a PhD from Universit=C3=
=A9
Paris-Dauphine, France in 2013. Abdallah has been the
recipient of a Discovery Early-Career Research Award
(DECRA) of the Australian Research Council in 2015–2017.
Abdallah has a wide range of interests from games,
planning, and other areas of decision-making to logic,
complexity and other areas of theory. Positional games are
a mathematical class of two-player games comprising
Tic-tac-toe and its generalizations. We propose a novel
encoding of these games into Quantified Boolean Formulas
(QBFs) such that a game instance admits a winning strategy
for the first player if and only if the corresponding
formula is true. Our approach improves over previous QBF
encodings of games in multiple ways. First, it is generic
and lets us encode other positional games, such as Hex.
Second, structural properties of positional games together
with a careful treatment of illegal moves let us generate
more compact instances that can be solved faster by
state-of-the-art QBF solvers. We establish the latter fact
through extensive experiments. Finally, the compactness of
our new encoding makes it feasible to translate realistic
game problems. We identify a few such problems of
historical significance and put them forward to the QBF
community as milestones of increasing difficulty. [Joint
work with Valentin Mayer-Eichberger, appears at SAT2020
with title "Positional Games and QBF: The Corrective
Encoding"]
___________________________________________________________________________=
_____
Vous =C3=AAtes invit=C3=A9 =C3=A0 participer =C3=A0 une r=C3=
=A9union Microsoft
Teams Nous rejoindre sur votre ordinateur ou votre
appareil mobile Cliquez ici pour participer =C3=A0 la r=C3=A9=
union<https://teams.microsoft.com/l/meetup-join/19%3a62b039f7737a4=
670999669b961bbe4a7%40thread.tacv2/1608733370749?context=3D%7b%22Tid%22%3a%=
225a16bd04-b475-49ff-b11a-c6c8359db1b1%22%2c%22Oid%22%3a%229c13a823-02d0-4f=
62-98c9-7c6afe2a97d5%22%7d>
Rejoindre =C3=A0 l’aide d’un appareil de vid=C3=A9oconf=C3=A9=
rence teams@vc.uca.fr
ID de la vid=C3=A9oconf=C3=A9rence: 127 409 678 0 Autres
instructions relatives =C3=A0 la num=C3=A9rotation VTC<https://pexip.me/teams/vc.uca.fr/1274096=
780>
Pour en savoir plus<https://aka.=
ms/JoinTeamsMeeting>
| Options de r=C3=A9union<h=
ttps://teams.microsoft.com/meetingOptions/?organizerId=3D9c13a823-02d0-4f62=
-98c9-7c6afe2a97d5&tenantId=3D5a16bd04-b475-49ff-b11a-c6c8359db1b1&=
threadId=3D19_62b039f7737a4670999669b961bbe4a7@thread.tacv2&messageId=
=3D1608733370749&language=3Dfr-FR>
___________________________________________________________________________=
_____
Participants :
Christophe Rey <christophe.rey@uca.fr>
Groupe de Travail en IA des
jeux du GDR IA du CNRS <GroupedeTravailenIAdesjeuxduGDRIAduCNRS@=
ucafr.onmicrosoft.com>