Using OBDD's for the Validation of Skolem Verification Conditions

No full text

Contribution to collective works (Parts of books)

Gribomont, Pascal; Salloum, Nachaat

1999 • In Automated Deduction-CADE-16

Peer reviewed

Permalink
https://hdl.handle.net/2268/184475

No document available.

Disciplines :

Computer science

Author, co-author :

Gribomont, Pascal ; Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique et intelligence artificielle

Salloum, Nachaat

Language :

English

Title :

Using OBDD's for the Validation of Skolem Verification Conditions

Publication date :

1999

Main work title :

Automated Deduction-CADE-16

Publisher :

Springer

Collection name :

Lecture Notes in Computer Science

Pages :

222

Peer reviewed :

Peer reviewed

Available on ORBi :

since 31 July 2015

Number of views

31 (0 by ULiège)

Number of downloads

0 (0 by ULiège)