Paper published in a book (Scientific congresses and symposiums)
Fair and Adventurous Enumeration of Quantifier Instantiations
Janota, Mikolás; Barbosa, Haniel; Fontaine, Pascal et al.
2021In Formal Methods in Computer Aided Design (FMCAD)
Peer reviewed
 

Files


Full Text
Janota1.pdf
Publisher postprint (285.11 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Janota, Mikolás
Barbosa, Haniel
Fontaine, Pascal ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Systèmes informatiques distribués
Reynolds, Andrew
Language :
English
Title :
Fair and Adventurous Enumeration of Quantifier Instantiations
Publication date :
2021
Event name :
Formal Methods in Computer Aided Design (FMCAD)
Event date :
from 20-10-2021 to 22-10-2021
Main work title :
Formal Methods in Computer Aided Design (FMCAD)
Publisher :
IEEE
Pages :
256-260
Peer reviewed :
Peer reviewed
Available on ORBi :
since 08 December 2021

Statistics


Number of views
34 (5 by ULiège)
Number of downloads
12 (3 by ULiège)

Scopus citations®
 
2
Scopus citations®
without self-citations
0
OpenCitations
 
0

Bibliography


Similar publications



Contact ORBi