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

Detalles Bibliográficos
Autores principales: Beyersdorff, Olaf, Wintersteiger, Christoph M
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764264
_version_ 1780971093757001728
author Beyersdorff, Olaf
Wintersteiger, Christoph M
author_facet Beyersdorff, Olaf
Wintersteiger, Christoph M
author_sort Beyersdorff, Olaf
collection CERN
id cern-2764264
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27642642021-04-21T16:38:13Zhttp://cds.cern.ch/record/2764264engBeyersdorff, OlafWintersteiger, Christoph MTheory 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, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27642642018
spellingShingle XX
Beyersdorff, Olaf
Wintersteiger, Christoph M
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
title 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
title_full 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
title_fullStr 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
title_full_unstemmed 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
title_short 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
title_sort 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
topic XX
url http://cds.cern.ch/record/2764264
work_keys_str_mv AT beyersdorffolaf theoryandapplicationsofsatisfiabilitytestingsat201821stinternationalconferencesat2018heldaspartofthefederatedlogicconferencefloc2018oxfordukjuly9122018proceedings
AT wintersteigerchristophm theoryandapplicationsofsatisfiabilitytestingsat201821stinternationalconferencesat2018heldaspartofthefederatedlogicconferencefloc2018oxfordukjuly9122018proceedings

Ejemplares similares