Jump to main content

yr 〜
yr

Search results 13

Theory and applications of satisfiability testing -- SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings

Theory and applications of satisfiability testing -- SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings
Paper図書
Chu-Min Li, Felip Manyà (eds.)Springerc2021
Other Libraries in Japan
  • Author HeadingInternational Conference on Theory and Applications of Satisfiability Testing Li, Chu-Min Manyà, Felip

Theory and applications of satisfiability testing - SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings

Theory and applications of satisfiability testing - SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings
Paper図書
Mikoláš Janota, Inês Lynce (eds.)Springerc2019
Other Libraries in Japan
  • Author HeadingInternational Conference on Theory and Applications of Satisfiability Testing Janota, Mikoláš Lynce, Inês

Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings

Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings
Paper図書
Serge Gaspers, Toby Walsh (eds.)Springerc2017
Other Libraries in Japan
  • Author HeadingInternational Conference on Theory and Applications of Satisfiability Testing Gaspers, Serge Walsh, Toby

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings
Paper図書
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)Springerc2018
Other Libraries in Japan
  • Author HeadingInternational Conference on Theory and Applications of Satisfiability Testing Beyersdorff, Olaf Wintersteig...

Theory and applications of satisfiability testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings

Theory and applications of satisfiability testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings
Paper図書
Nadia Creignou, Daniel Le Berre (eds.)Springer2016
Other Libraries in Japan
  • Author HeadingInternational Conference on Theory and Applications of Satisfiability Testing Creignou, Nadia Le Berre, Dan...

Theory and applications of satisfiability testing - SAT 2014 : 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings : pbk

Theory and applications of satisfiability testing - SAT 2014 : 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings : pbk
Paper図書
Carsten Sinz, Uwe Egly (eds.)Springerc2014
Other Libraries in Japan
  • Author HeadingSinz, Carsten Egly, Uwe International Conference on Theory and Applications of Satisfiability Testing

Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009 Swansea, UK, June 30 - July 3, 2009 : proceedings

Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009 Swansea, UK, June 30 - July 3, 2009 : proceedings
Paper図書
Oliver Kullmann (ed.)Springerc2009
Other Libraries in Japan
  • Author HeadingOliver Kullmann International Conference on Theory and Applications of Satisfiability Testing

Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008 Guangzhou, China, May 12-15, 2008 : proceedings

Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008 Guangzhou, China, May 12-15, 2008 : proceedings
Paper図書
Hans Kleine Büning, Xishun Zhao (eds.)Springerc2008
Other Libraries in Japan
  • Author Heading...e Zhao, Xishun International Conference on Theory and Applications of Satisfiability Testing

Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006, proceedings

Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006, proceedings
Paper図書
ed. Armin Biere, Carla P. GomesSpringer2006
Other Libraries in Japan
  • Author HeadingBiere, Armin Gomes, Carla P. International Conference on Theory and Applications of Satisfiability Testing

Theory and applications of satisfiability testing - SAT 2007 : 10th International Conference, Lisbon, Portugal, May 28-31, 2007 : proceedings

Theory and applications of satisfiability testing - SAT 2007 : 10th International Conference, Lisbon, Portugal, May 28-31, 2007 : proceedings
Paper図書
João Marques-Silva, Karem A. Sakallah (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Theory and Applications of Satisfiability Testing Marques-Silva, João Sakallah,...

Theory and applications of satisfiability testing : 8th International Conference, SAT 2005 St Andrews, UK, June 19-23, 2005 : proceedings

Theory and applications of satisfiability testing : 8th International Conference, SAT 2005 St Andrews, UK, June 19-23, 2005 : proceedings
Paper図書
Fahiem Bacchus, Toby Walsh (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Conference on Theory and Applications of Satisfiability Testing Bacchus, Fahiem Walsh, Toby

Theory and applications of satisfiability testing : 7th International Conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

Theory and applications of satisfiability testing : 7th International Conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Paper図書
Holger H. Hoos, David G. Mitchell (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Conference on Theory and Applications of Satisfiability Testing Hoos, Holger H. Mitchell, Dav...

Theory and applications of satisfiability testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers

Theory and applications of satisfiability testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers
Paper図書
Enrico Giunchiglia, Armando Tacchella (eds.)Springerc2004
Other Libraries in Japan
  • Author Heading...hella, Armando International Conference on Theory and Applications of Satisfiability Testing

Reached to the end of result.

RSS