1
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... Synthesis with Answer Literals -- 4.1 From Answer Literals to Programs -- 4.2 Saturation-Based Program...
Click to View
2
by Marrs, Adam.
Published 2021
Format:
Table of Contents: ...Intro -- Table of Contents -- Preface -- Foreword -- CONTRIBUTORS -- NOTATION -- PART I RAY TRACING...
Click to View