THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. 27TH 2024. (SAT 2024)

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. 27TH 2024. (SAT 2024)

Item #:
076219
Our Price: $130.00
Adding to cart… The item has been added

Details

  • Title: 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
  • Date/Location: Held 21-24 August 2024, Pune, India.
  • Series: Leibniz International Proceedings in Informatics Volume 305
  • Editor: Chakraborty, S. and Jiang, J.-H. R.
  • ISBN: 9798331303105
  • Pages: 580 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Oct 2024 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
  • Date/Location: Held 21-24 August 2024, Pune, India.
  • Series: Leibniz International Proceedings in Informatics Volume 305
  • Editor: Chakraborty, S. and Jiang, J.-H. R.
  • ISBN: 9798331303105
  • Pages: 580 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Oct 2024 )