FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING

FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING

Ph.D

Saved in:
Bibliographic Details
Main Author: PRIYANKA GOLIA
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2023
Subjects:
Functional Synthesis, Formal Methods, Automated Reasoning, Constraint Solving, Constraint Sampling and Counting
Online Access:https://scholarbank.nus.edu.sg/handle/10635/245666
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-245666
record_format dspace
spelling sg-nus-scholar.10635-2456662023-10-31T18:00:48Z FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING PRIYANKA GOLIA COMPUTER SCIENCE Kuldeep Singh Meel Functional Synthesis, Formal Methods, Automated Reasoning, Constraint Solving, Constraint Sampling and Counting Ph.D DOCTOR OF PHILOSOPHY (SOC) 2023-10-31T18:00:48Z 2023-10-31T18:00:48Z 2023-02-15 Thesis PRIYANKA GOLIA (2023-02-15). FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/245666 0009-0004-0704-226X en
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
language English
topic Functional Synthesis, Formal Methods, Automated Reasoning, Constraint Solving, Constraint Sampling and Counting
spellingShingle Functional Synthesis, Formal Methods, Automated Reasoning, Constraint Solving, Constraint Sampling and Counting
PRIYANKA GOLIA
FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
PRIYANKA GOLIA
format Theses and Dissertations
author PRIYANKA GOLIA
author_sort PRIYANKA GOLIA
title FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING
title_short FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING
title_full FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING
title_fullStr FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING
title_full_unstemmed FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING
title_sort functional synthesis via formal methods and machine learning
publishDate 2023
url https://scholarbank.nus.edu.sg/handle/10635/245666
_version_ 1781793654955835392

Similar Items