A Linear Weight Transfer Rule for Local Search (NASA Formal Methods 2023 - NFM 2023)

Tue 16 - Thu 18 May 2023 Houston, Texas, United States

Who

Md Solimul Chowdhury, Cayden Codel, Marijn Heule

Track

NASA Formal Methods 2023 NFM

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 18 May 2023 10:30 - 10:55 - Decision Procedures Chair(s): Swarat Chaudhuri

Md Solimul Chowdhury

Carnegie Mellon University

United States

Cayden Codel

Carnegie Mellon University

United States

Marijn Heule

Carnegie Mellon University

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 18 May
Displayed time zone: Central Time (US & Canada) change

10:30 - 12:00	Decision ProceduresNFM 2023 Chair(s): Swarat Chaudhuri University of Texas at Austin

10:30 25m Talk		A Linear Weight Transfer Rule for Local Search NFM 2023 Md Solimul Chowdhury Carnegie Mellon University, Cayden Codel Carnegie Mellon University, Marijn Heule Carnegie Mellon University
10:55 25m Talk		Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem NFM 2023 Enrico Lipparini DIBRIS, University of Genova, Italy, Stefan Ratschan The Czech Academy of Sciences Pre-print
11:20 25m Talk		Subtropical Satisfiability for SMT Solving NFM 2023 Jasper Nalbach RWTH Aachen University, Erika Abraham RWTH Aachen University
11:45 15m Talk		Adiar 1.1 : Zero-suppressed Decision Diagrams in External Memory NFM 2023 Steffan Sølvsten Aarhus University, Jaco van de Pol Aarhus University