Theory and Applications of Satisfiability Testing - SAT 2021

Author : Chu-Min Li,Felip Manya

Paperback

Published : Friday 2 July 2021

ISBN : 9783030802226

Price : €116.99

Description

This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions.

You may also like ...

Theory and Applications of Satisfiabili...

by Chu-Min Li,Felip Manya

Paperback

02 Jul 2021

Computer hardware

€116.99

Extended stock – Dispatch 5-7 days

Perfectly Good Food

by Irene Li,Margaret Li

Paperback

28 Jul 2023

Cookery / food and drink / food writing

€23.39

Extended stock – Dispatch 5-7 days

Team Chu and the Epic Hero Quest

by Julie C. Dao

Hardback

02 May 2023

Childrens / Teenage fiction: Action and adventure stories

€22.22

Extended stock – Dispatch 5-7 days

Team Chu and the Battle of Blackwood Ar...

by Julie C. Dao

Hardback

26 Jul 2022

Childrens / Teenage fiction: Action and adventure stories

€19.88

Extended stock – Dispatch 5-7 days

Reviews