Tue 4 Jun 2024 10:55 - 11:20 at Ballroom - Advances in Solver Technology Chair(s): Ivan Perez

Tue 4 Jun

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:30
Advances in Solver Technology NFM 2024 at Ballroom
Chair(s): Ivan Perez NASA Ames Research Center
10:30
25m
Talk
Structure-guided Cube-and-conquer for MaxSAT
NFM 2024
Max Bannach European Space Agency, Advanced Concepts Team, Markus Hecher MIT
10:55
25m
Talk
Tackling the polarity initialization problem in SAT solving using a genetic algorithm
NFM 2024
Sabrine Saouli Sorbonne Université (LIP6), Souheib Baarir EPITA (LRE), Claude Dutheillet LIP6 Universite Pierre et Marie Curie
11:20
25m
Talk
Formalization of asymptotic convergence for Stationary Iterative Methods
NFM 2024
Mohit Tekriwal Lawrence Livermore National Laboratory, Joshua Miller University of Michigan, Ann Arbor, Jean-Baptiste Jeannin University of Michigan at Ann Arbor
11:45
25m
Talk
Distributional Probabilistic Model Checking
NFM 2024
Ingy Elsayed-Aly University of Virginia, David Parker University of Oxford, Lu Feng University of Virginia