Invited Lecturer at 1st International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning

Aktivitet: Typer för deltagande i eller organisering av evenemang › Public Talks

Beskrivning

Maximum satisfiability
Period2016
Typ av evenemang!!Other
Sponsor
PlatsLisbon, PortugalVisa på karta
OmfattningInternationell

Relaterat innehåll