Michael W. Whalen

From MaRDI portal
Person:1694025

Available identifiers

zbMath Open whalen.michael-wMaRDI QIDQ1694025

List of research outcomes





PublicationDate of PublicationType
Migrating solver state2024-07-12Paper
Unsatisfiability proofs for distributed clause-sharing SAT solvers2023-12-13Paper
Online Enumeration of All Minimal Inductive Validity Cores2023-05-05Paper
Reasoning about algebraic data types with abstractions2018-02-01Paper
https://portal.mardi4nfdi.de/entity/Q48088442004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48090672004-08-12Paper
Passage-detector-based traffic queue estimation in intelligent transportation systems: A computational study of competing algorithms1998-08-02Paper

Research outcomes over time

This page was built for person: Michael W. Whalen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1694025&oldid=11061598"
Powered by MediaWiki