Theory and applications of satisfiability testing : :: SCD d'Orléans

Theory and applications of satisfiability testing : SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013 : proceedings

Theory and applications of satisfiability testing : SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013 : proceedings

This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013. The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully...

保存先:

書誌詳細
第一著者:	Jarvisalo, Matti
その他の著者:	Van Gelder, Allen (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
シリーズ:	Theoretical Computer Science and General Issues 7962
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Theory and Applications of Satisfiability Testing SAT 2013, Texte imprimé, 9783642390708 • Theory and Applications of Satisfiability Testing - SAT 2013, Texte imprimé, 9783642390722

類似資料

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

Handbook of Satisfiability : Second Edition
著者:: Biere, Armin, 1967-
出版事項: (2021)

Journal on Satisfiability, Boolean Modeling and Computation.

High quality test pattern generation and boolean satisfiability
著者:: Eggersglüß, Stephan, 19..-, 等
出版事項: (2012)

Testing theory
著者:: Teunissen, Peter J.G.
出版事項: (2025)

Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013 : proceedings
出版事項: (2013)

Theory and Applications of Models of Computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
著者:: Chan, T-H. Hubert
出版事項: (2013)

Testing software and systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, proceedings

Design science at the intersection of physical and virtual design : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013 : proceedings
著者:: Brocke, Jan vom
出版事項: (2013)

Algorithm theory - SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8 10, 1992 : proceedings

Theory, practice, and applications of rules on the Web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013 : proceedings

Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
著者:: Konstantinidis, Stavros
出版事項: (2013)

Application and theory of Petri nets and concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings
著者:: Colom, Jose-Manuel
出版事項: (2013)

Computer Science Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
著者:: Bulatov, Andrei A.

Analytical and stochastic modeling techniques and applications : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013 : proceedings

Learning Android application testing : improve your Android applications through intensive testing and debugging
著者:: Blundell, Paul, 等
出版事項: (2015)

Testing of communicating systems : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings

Combinatorial Optimization and Applications : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Application and theory of Petri nets 1995 : 16th International Conference, Turin, Italy, June 26 30, 1995 : proceedings

Web Engineering : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings
著者:: Daniel, Florian, 1978-
出版事項: (2013)

Group testing theory in network security : an advanced solution
著者:: Thai, My T.

Application of Biological Markers to Carcinogen Testing

Nondestructive Testing Methods and New Applications
出版事項: (2021)

Computational Intelligence, Theory and Applications : International Conference 8th Fuzzy Days in Dortmund, Germany, Sept. 29 Oct. 01, 2004 Proceedings
著者:: Reusch, Bernd

Algorithmic Learning Theory : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Algorithmic decision theory : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
著者:: Perny, Patrice

Algorithm theory - SWAT 2002 : 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3 5, 2002 : proceedings

Operator Algebras, Operator Theory and Applications : 18th International Workshop on Operator Theory and Applications, Potchefstroom, July 2007

Advanced data mining and applications : 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings,
著者:: Motoda, Hiroshi

Advanced data mining and applications : 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings
著者:: Motoda, Hiroshi

Measure theory applications to stochastic analysis : proceedings, Oberwolfach Conference, Germany, July 3-9, 1977
出版事項: (1978)

Measure theory applications to stochastic analysis : proceedings, Oberwolfach Conference, Germany, July 3 9, 1977

Category theory, homology theory and their applications : proceedings of the conference held at the Seattle research center of the Battelle memorial institute, June 24-July 19, 1968

Category theory, homology theory and their applications : proceedings of the conference held at the Seattle research center of the Battelle memorial institute, June 24-July 19, 1968

Category theory, homology theory and their applications : proceedings of the conference held at the Seattle research center of the Battelle memorial institute, June 24-July 19, 1968

Applications of Evolutionary Computation : 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
著者:: Esparcia-Alcázar, Anna I.

Theory of Cryptography : 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings
著者:: Sahai, Amit
出版事項: (2013)

Wireless Algorithms, Systems, and Applications : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings
著者:: Ren, Kui

Spatial Information Theory : 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales