our present

Gödel medal award

Mikolas Janota, INESC ID Researcher

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Mikolas Janota, a young researcher from the SAT group (http://www.inesc-id.pt/group.php?grp=II08), was awarded a Gödel medal, in the competition that is part of the FLoC Olympic Games, with his solver RAReQS, for quantified Boolean formula (QBF Gallery 2014).