Catalog

Record Details

Catalog Search


Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder.

Järvisalo, Matti. (editor.). Van Gelder, Allen. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

Record details

  • ISBN: 9783642390715
  • Physical Description: XVI, 437 p. 84 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.

Search for related items by subject

Subject: Computer science.
Computer software.
Logic design.
Artificial intelligence.
Mathematics.
Computer Science.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Information and Communication, Circuits.

Search for related items by series


Additional Resources