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

Detalles Bibliográficos
Autores principales: Sinz, Carsten, Egly, Uwe
Lenguaje:eng
Publicado: Springer International Publishing AG 2014
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757627
_version_ 1780969985513881600
author Sinz, Carsten
Egly, Uwe
author_facet Sinz, Carsten
Egly, Uwe
author_sort Sinz, Carsten
collection CERN
id cern-2757627
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2014
publisher Springer International Publishing AG
record_format invenio
spelling cern-27576272021-04-21T16:41:07Zhttp://cds.cern.ch/record/2757627engSinz, CarstenEgly, UweTheory 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, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27576272014
spellingShingle XX
Sinz, Carsten
Egly, Uwe
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
title 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
title_full 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
title_fullStr 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
title_full_unstemmed 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
title_short 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
title_sort 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
topic XX
url http://cds.cern.ch/record/2757627
work_keys_str_mv AT sinzcarsten theoryandapplicationsofsatisfiabilitytestingsat201417thinternationalconferenceheldaspartoftheviennasummeroflogicvsl2014viennaaustriajuly14172014proceedings
AT eglyuwe theoryandapplicationsofsatisfiabilitytestingsat201417thinternationalconferenceheldaspartoftheviennasummeroflogicvsl2014viennaaustriajuly14172014proceedings

Ejemplares similares