Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /

This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were careful...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Heule, Marijn (Επιμελητής έκδοσης), Weaver, Sean (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Έκδοση:	1st ed. 2015.
Σειρά:	Lecture Notes in Computer Science, 9340
Θέματα:	Computer science. Computers. Computer science > Mathematics. Artificial intelligence. Computer Science. Theory of Computation. Artificial Intelligence (incl. Robotics). Mathematics of Computing.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

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 /
Έκδοση: (2014)

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
Έκδοση: (2016)

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
Έκδοση: (2008)

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings /
Έκδοση: (2006)

Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings /
Έκδοση: (2011)

Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
Έκδοση: (2009)

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings /
Έκδοση: (2007)

Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Έκδοση: (2012)

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
Έκδοση: (2013)

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /
Έκδοση: (2005)

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
Έκδοση: (2005)

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Έκδοση: (2017)

SAT 2005 Satisfiability Research in the Year 2005 /
Έκδοση: (2006)

Bridging Constraint Satisfaction and Boolean Satisfiability
ανά: Petke, Justyna
Έκδοση: (2015)

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers /
Έκδοση: (2016)

Theory and Applications of Satisfiability Testing 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
Έκδοση: (2004)

Proceedings of the Fifth International Conference on Fuzzy and Neuro Computing (FANCCO - 2015)
Έκδοση: (2015)

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3 2015 /
Έκδοση: (2016)

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers /
Έκδοση: (2016)

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
Έκδοση: (2015)

Computational Intelligence, Theory and Applications International Conference 9th Fuzzy Days in Dortmund, Germany, Sept. 18–20, 2006 Proceedings /
Έκδοση: (2006)

Computational Intelligence, Theory and Applications International Conference 8th Fuzzy Days in Dortmund, Germany, Sept. 29–Oct. 01, 2004 Proceedings /
Έκδοση: (2005)

The 1st International Conference on Advanced Intelligent System and Informatics (AISI2015), November 28-30, 2015, Beni Suef, Egypt
Έκδοση: (2016)

Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers /
Έκδοση: (2015)

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
Έκδοση: (2015)

Robot 2015: Second Iberian Robotics Conference Advances in Robotics, Volume 1 /
Έκδοση: (2016)

Robot 2015: Second Iberian Robotics Conference Advances in Robotics, Volume 2 /
Έκδοση: (2016)

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
Έκδοση: (2015)

Granular, Soft and Fuzzy Approaches for Intelligent Systems Dedicated to Professor Ronald R. Yager /
Έκδοση: (2017)

Introduction to Morphogenetic Computing
ανά: Resconi, Germano, κ.ά.
Έκδοση: (2017)

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings /
Έκδοση: (2017)

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
Έκδοση: (2015)

Flexible Query Answering Systems 2015 Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015 /
Έκδοση: (2016)

Automatic Generation of Combinatorial Test Data
ανά: Zhang, Jian, κ.ά.
Έκδοση: (2014)

Tools and Applications with Artificial Intelligence
Έκδοση: (2009)

Supervised and Unsupervised Ensemble Methods and their Applications
Έκδοση: (2008)

Applications of Supervised and Unsupervised Ensemble Methods
Έκδοση: (2009)

Neural Networks: Computational Models and Applications
ανά: Tang, Huajin, κ.ά.
Έκδοση: (2007)

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
Έκδοση: (2015)

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
Έκδοση: (2015)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών