0
*
0
*
1450
2025
book-filter
Work cover

Theory and Applications of Satisfiability Testing – SAT 2012

  • Alessandro Cimatti

0

0 ratings

Genres

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

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the author

  • Alessandro Cimatti

    0

    0 ratings · 4 works

Editions

  • Edition cover

    Springer Berlin Heidelberg

    2012