Bridging Constraint Satisfaction and Boolean Satisfiability
tarafından
 
Petke, Justyna. author.

Başlık
: 
Bridging Constraint Satisfaction and Boolean Satisfiability

Yazar
: 
Petke, Justyna. author.

ISBN
: 
9783319218106

Basım Bilgisi
: 
1st ed. 2015.

Fiziksel Tanımlama
: 
XI, 113 p. 19 illus. online resource.

Seri
: 
Artificial Intelligence: Foundations, Theory, and Algorithms,

İçerik
: 
Introduction -- Background -- Solver Performance on Tractable CSPs: Empirical Evaluation -- SAT Encodings -- From CSP to SAT: Width Restrictions -- From CSP to SAT: Language Restrictions -- SAT Encodings of a Classical Problem: A Case Study -- Conclusions.    .

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-319-21810-6


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap518365-1001ONLINEElektronik Kütüphane