Sabrine Saouli - NASA Formal Methods 2024

Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States

Registered user since Thu 5 Jan 2023

Name:Sabrine Saouli

Country:France

Affiliation:Sorbonne Université (LIP6)

Contributions

2024

NFM

Tackling the polarity initialization problem in SAT solving using a genetic algorithm

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile