ID:DA14360310
SAT
Search authors sharing the same name
Chu-Min Li, Felip Manyà (eds.)
Springer c2021 Lecture notes in computer science 12831 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Available at 2 libraries
Mikoláš Janota, Inês Lynce (eds.)
Springer c2019 Lecture notes in computer science 11628 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Available at 1 libraries
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)
Springer c2018 Lecture notes in computer science 10929 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Serge Gaspers, Toby Walsh (eds.)
Springer c2017 Lecture notes in computer science 10491 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Nadia Creignou, Daniel Le Berre (eds.)
Springer 2016 Lecture notes in computer science 9710 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Carsten Sinz, Uwe Egly (eds.)
Springer c2014 Lecture notes in computer science 8561
: pbk
Oliver Kullmann (ed.)
Springer c2009 Lecture notes in computer science 5584
Available at 3 libraries
Hans Kleine Büning, Xishun Zhao (eds.)
Springer c2008 Lecture notes in computer science 4996
João Marques-Silva, Karem A. Sakallah (eds.)
Springer c2007 Lecture notes in computer science 4501
Available at 4 libraries
ed. Armin Biere, Carla P. Gomes
Springer 2006 Lecture notes in computer science 4121
Available at 8 libraries
Holger H. Hoos, David G. Mitchell (eds.)
Springer c2005 Lecture notes in computer science 3542
Available at 10 libraries
Fahiem Bacchus, Toby Walsh (eds.)
Springer c2005 Lecture notes in computer science 3569
Available at 13 libraries
Enrico Giunchiglia, Armando Tacchella (eds.)
Springer c2004 Lecture notes in computer science 2919
Available at 19 libraries
