Select Publications

Books

Walsh T, 2021, Foreword: The world in 2062

Biere A; Heule M; van Maaren H; Walsh T, 2021, Handbook of satisfiability: Second edition, http://dx.doi.org/10.3233/FAIA336

Biere A; Heule M; van Maaren H; Walsh T, 2021, Preface first edition

Biere A; Heule M; Van Maaren H; Walsh T, 2021, Preface first edition

Biere A; Heule M; Van Maaren H; Walsh T, 2021, Preface second edition

Walsh T, 2015, Preface

Rossi F; Venable KB; Walsh T, 2011, A Short Introduction to Preferences, Springer International Publishing, http://dx.doi.org/10.1007/978-3-031-01556-4

Rossi F; Venable K; Walsh T, 2011, Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool Publishers, CA, United States, http://dx.doi.org/10.2200/S00372ED1V01Y201107AIM014

Biere A; Heule M; Maaren HV; Walsh T, 2009, Handbook of Satisfiability: Preface

Rossi F; van Beek P; Walsh T, 2008, Chapter 4 Constraint Programming, http://dx.doi.org/10.1016/S1574-6526(07)03004-0

Rossi F; van Beek P; Walsh T, 2006, Handbook of Constraint Programming Introduction, Rossi F; VanBeek P; Walsh T, (eds.), ELSEVIER SCIENCE BV, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000311250700002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

Walsh T, 2001, Preface

Choueiry BY; Walsh T, 2000, Preface


Back to profile page