THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. 25TH 2022. (SAT 2022)

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. 25TH 2022. (SAT 2022)

Item #:
065340
Our Price: $170.00
Adding to cart… The item has been added

Details

  • Title: 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
  • Date/Location: Held 2-5 August 2022, Haifa, Israel.
  • Series: Leibniz International Proceedings in Informatics Volume 236
  • Editor: Meel, K. S. et al.
  • ISBN: 9781713859000
  • Pages: 622 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Sep 2022 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
  • Date/Location: Held 2-5 August 2022, Haifa, Israel.
  • Series: Leibniz International Proceedings in Informatics Volume 236
  • Editor: Meel, K. S. et al.
  • ISBN: 9781713859000
  • Pages: 622 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Sep 2022 )