Towards Synthesis in Superposition

Hozzová, Petra; Kovács, Laura; Voronkov, Andrei

by Petra Hozzová, Laura Kovács, Andrei Voronkov

Reference:

Towards Synthesis in SuperpositionPetra Hozzová, Laura Kovács, Andrei VoronkovEasyChair, 2022.

Bibtex Entry:

@Booklet{HozKovVor22,
  author = {Petra Hozzov{\'a} and Laura Kov{\'a}cs and Andrei Voronkov},
  title = {Towards Synthesis in Superposition},
  howpublished = {EasyChair Preprint no. 8182},
  year = {EasyChair, 2022},
  url = {https://easychair.org/publications/preprint/FCSW},
}