Name Card

Full name Familienname, Vorname

Dutertre, Bruno

Main Affiliation Organisationszuordnung

Amazon (United States), United States of America (the)

Own Publications Eigene Publikationen

All

Conference Papers

Access Type

3 Open Access

Peer-Reviewed

3 true

Author

Subject

Date issued

3 2000 - 2026

Publication Type

3 Inproceedings

Results 1-3 of 3 (Search time: 0.003 seconds).

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Lotz, Kevin ; Goel, Amit ; Dutertre, Bruno ; Kiesl-Reiter, Benjamin ; Kong, Soonho ; Nowotka, Dirk	Solving String Constraints with Concatenation Using SAT	Inproceedings Konferenzbeitrag	Oct-2024
	2		Hitarth, S. ; Codel, Cayden ; Lachnitt, Hanna ; Dutertre, Bruno	Extending DRAT to SMT	Inproceedings Konferenzbeitrag	Oct-2024
	3		Barrett, Clark ; Chen, Pei-Wei ; Cook, Byron ; Dutertre, Bruno ; Jones, Robert B. ; Le, Nham ; Reynolds, Andrew ; Sheth, Kunal ; Stephens, Christopher ; Whalen, Michael W.	SMT-D: New Strategies for Portfolio-Based SMT Solving	Inproceedings Konferenzbeitrag	Oct-2024