-
Theory and applications of satisfiability testing-- SAT 2010 [Elektronski vir] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedingsSAT 2010 (2010 ; Edinburgh, Scotland)Annotation. This book constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as ... part of the Federated Logic Conference, FLoC 2010. The 21 revised full papers presented together with 14 revised short papers and 2 invited talks were carefully selected from 75 submissions. The papers cover a broad range of topics such as proof systems and proof complexity; search algorithms and heuristics; analysis of algorithms; combinatorial theory of satisfiability; random instances vs structured instances; problem encodings; industrial applications; applications to combinatorics; solvers, simplifiers and tools; and exact and parameterized algorithms.Type of material - e-bookPublication and manufacture - Berlin ; New York : Springer, cop. 2010Language - englishISBN - 978-3-642-14186-7; 3-642-14186-2COBISS.SI-ID - 1542661599
Link(s):
SpringerLink e-books 2008-2012Celotno besedilo dostopno za uporabnike SpringerLink slovenskega konzorcija neprofitnih institucij
Full text accessible to the users of SpringerLink Slovenian Consortium of Non-Profit Institutions
DOI
Author
SAT 2010
Other authors
Strichman, Ofer |
Szeider, Stefan
Collection
Lecture notes in computer science
Topics
Mathematical Computing |
Congresses |
Algorithms |
Congresses |
Decision Making, Computer-Assisted |
Congresses |
Propositional calculus |
Congresses |
Decision making |
Congresses |
Computer algorithms |
Congresses |
Algebra, Boolean |
Congresses |
Algebra, Boolean |
Computer algorithms |
Decision making |
Propositional calculus |
Informatique |
Conference proceedings
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.