vix.ing · top · new · best · stats · spec

Matthew Elacqua

  1. 'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
    2023/05/09 by Samuel Judson, Matthew Elacqua, Judson, Samuel +10 · 1 citation
    Business, Management and Accounting · #Big Data and Business Intelligence #Computers and Society (cs.CY) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)