Cargando…

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

Detalles Bibliográficos
Autores principales:	Janota, Mikolás, Lynce, Inês
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755510

Ejemplares similares

Conference Abstracts: European Academy of Nursing Science Summer Conference 2019: Lisbon, Portugal. 10-11 July 2019
Publicado: (2019)

Business modeling and software design: 9th international symposium, BMSD 2019, Lisbon, Portugal, July 1-3, 2019, proceedings
por: Shishkov, Boris
Publicado: (2019)

SAT-Based Encodings for Optimal Decision Trees with Explicit Paths
por: Janota, Mikoláš, et al.
Publicado: (2020)

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
por: Beyersdorff, Olaf, et al.
Publicado: (2018)

PRIMA 2019: 22nd international conference, Turin, Italy, October 28-31, 2019, proceedings
por: Baldoni, Matteo, et al.
Publicado: (2019)

ICT systems security and privacy protection: 34th IFIP TC 11 international conference, SEC 2019, Lisbon, Portugal, June 25-27, 2019, proceedings
por: Dhillon, Gurpreet, et al.
Publicado: (2019)

Discovery science: 22nd international conference, DS 2019, Split, Croatia, October 28-30, 2019, proceedings
por: Kralj Novak, Petra, et al.
Publicado: (2019)

Wireless and satellite systems: 10th eai international conference, WiSATS 2019, Harbin, China, January 12-13, 2019, proceedings, part I
por: Jia, Min, et al.
Publicado: (2019)

Implementation and application of automata: 24th international conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019, proceedings
por: Hospodár, Michal, et al.
Publicado: (2019)

Text, speech, and dialogue: 22nd international conference, TSD 2019, Ljubljana, Slovenia, September 11-13, 2019, proceedings
por: Ekstein, Kamil
Publicado: (2019)

CAS Proceedings of the 2019 course on High Gradient Wakeﬁeld Accelerators, Sesimbra, Portugal, 11–22 March 2019
por: Schmickler, Hermann
Publicado: (2020)

Genetic programming: 22nd European conference, EuroGP 2019, held as part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, proceedings
por: Sekanina, Lukas, et al.
Publicado: (2019)

Graph transformation: 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, proceedings
por: Guerra, Esther, et al.
Publicado: (2019)

Improving Implementation of SAT Competitions 2017–2019 Winners
por: Kochemazov, Stepan
Publicado: (2020)

Fundamentals of computation theory: 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, proceedings
por: Gąsieniec, Leszek Antoni, et al.
Publicado: (2019)

Information security: 22nd international conference, ISC 2019, New York City, NY, USA, September 16-18, 2019, proceedings
por: Lin, Zhiqiang, et al.
Publicado: (2019)

Business information systems: 22nd international conference, BIS 2019, Seville, Spain, June 26-28, 2019, proceedings, part II
por: Abramowicz, Witold, et al.
Publicado: (2019)

Intelligent computer mathematics: 12th international conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, proceedings
por: Kaliszyk, Cezary, et al.
Publicado: (2019)

Information security education education in proactive information security: 12th IFIP WG 11 8 world conference, WISE 12, Lisbon, Portugal, June 25-27, 2019, proceedings
por: Drevin, Lynette, et al.
Publicado: (2019)

Applications of evolutionary computation: 22nd international conference, EvoApplications 2019, held as part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, proceedings
por: Kaufmann, Paul, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part IV
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part V
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part I
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part III
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part II
por: Rodrigues, João M F, et al.
Publicado: (2019)

Approximation Hardness and Satisfiability of Bounded Occurrence Instances of SAT
por: Berman, Paul R, et al.
Publicado: (2003)

Uniquely Satisfiable d-Regular (k,s)-SAT Instances
por: Fu, Zufeng, et al.
Publicado: (2020)

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Finkbeiner, Bernd, et al.
Publicado: (2019)

Intelligent computing and optimization: proceedings of the 2nd international conference on intelligent computing and optimization 2019 (ICO 2019)
por: Vasant, Pandian, et al.
Publicado: (2019)

Computing and combinatorics: 25th international conference, COCOON 2019, Xi'an, China, July 29-31, 2019, proceedings
por: Du, Ding-Zhu, et al.
Publicado: (2019)

Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
por: Hutton, Graham
Publicado: (2019)

Editorial: Proceedings of IPSC 2019 - 2(nd) International Plant Spectroscopy Conference
por: Thygesen, Lisbeth G., et al.
Publicado: (2020)

Mathematical optimization theory and operations research: 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, proceedings
por: Khachay, Michael, et al.
Publicado: (2019)

AI 2019: 32nd australasian joint conference, Adelaide, SA, Australia, December 2-5, 2019, proceedings
por: Liu, Jixue, et al.
Publicado: (2019)

Medical image understanding and analysis: 23rd conference, MIUA 2019, Liverpool, UK, July 24-26, 2019, proceedings
por: Zheng, Yalin, et al.
Publicado: (2020)

Knowledge management in organizations: 14th international conference, KMO 2019, Zamora, Spain, July 15-18, 2019, proceedings
por: Uden, Lorna, et al.
Publicado: (2019)

Algebraic informatics: 8th international conference, CAI 2019, Nis, Serbia, June 30-july 4, 2019, proceedings
por: Ćirić, Miroslav, et al.
Publicado: (2019)

Simulation tools and techniques: 11th international conference, SIMUtools 2019, Chengdu, China, July 8-10, 2019, proceedings
por: Song, Houbing, et al.
Publicado: (2019)

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
por: Sinz, Carsten, et al.
Publicado: (2014)

HCI international 2019 - posters: 21st international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part III
por: Stephanidis, Constantine
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_ms842t6pukesp68sd1jtqaui3s