Journal on satisfiability, Boolean modeling and computation [Ressource électronique]

Date :

Editeur / Publisher : Delft : Technische Universiteit Delft

Type : Périodique / Serial

Langue / Language : anglais / English

Technische universiteit (Delft, Pays-Bas) (Editeur scientifique / editor)

Relation : Journal on satisfiability, Boolean modeling and computation / Delft : Technische Universiteit Delft