Subtropical Satisfiability for SMT Solving (NASA Formal Methods 2023 - NFM 2023) - NASA Formal Methods 2023

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

Who

Jasper Nalbach, Erika Abraham

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

When

Thu 18 May 2023 11:20 - 11:45 - Decision Procedures Chair(s): Swarat Chaudhuri

Jasper Nalbach

RWTH Aachen University

Germany

Erika Abraham

RWTH Aachen University

Germany

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

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