Sammanfattning -Denna artikel beskriver multitrådade MiraXT SAT Solver som var utformad för att dra nytta av nuvarande och framtida delade minnesmultiprocessorsystem. Papperet belyser design och genomförande detaljer som gör det möjligt för flera trådar att köra och samarbeta effektivt. Resultaten visar att i enkelgängat läge, MiraXT jämför väl med andra toppmoderna lösare om industriella problem. I gängat läge ger det banbrytande prestanda, eftersom speedup erhålls på både SAT- och UNSAT-fall.
MiraXT REF, är utformad för delade minnesmultiprocessorsystem.
Multithreaded SAT Solving
{'venue': '2007 Asia and South Pacific Design Automation Conference', 'journal': '2007 Asia and South Pacific Design Automation Conference', 'mag_field_of_study': ['Computer Science']}