Vaasan yliop. julk., Tutk. (Pain.)
name: Publication series of the University of Art and Design Helsinki. F, Working papers
name: Report / Helsinki University of Technology, Laboratory of Telecommunications Technology
name: Julkaisu / Teknillinen korkeakoulu, rakennetekniikan laitos
name: Teknillinen korkeakoulu. Teknillisen fysiikan osasto. Report
name: Aalto-yliopiston julkaisusarja. Taide + muotoilu + arkkitehtuuri
name: Pohjois-Savon ammattikorkeakoulun julkaisut : D
name: Julkaisusarja / Valtion koulutuskeskus. B
name: Undervisnings- och kulturministeriets arbetsgruppspromemorior och utredningar
name: Tilastoraportti
name: Laskennallisen dynamiikan tutkimusraportteja / Teknillinen korkeakoulu, Tietotekniikan osasto
name: Julk. - Oulun yliop., Vesitek. lab., B
name: Tampereen yliopiston sosiologian ja sosiaalipsykologian laitos. Tutkimuksia A
name: Studies of the Central Pension Security Institute
name: Julkaisusarja : Series : 3, Working papers / National Defence University, Department of Warfare
name: Eurooppa-tietoa Europakunskap
name: Report / Helsinki University of Technology, Laboratory of Paper Technology. A
name: Tampereen yliopiston sosiologian ja sosiaalipsykologian laitoksen julkaisuja : A
name: Julkaisusarja / Maanpuolustuskorkeakoulu, tekniikan laitos. 1, Tutkimus
name: Julkaisuja / Tampereen yliopisto, taideaineiden laitos
name: Työterveyslaitos. Katsauksia
name: Sarja B / Helsingin yliopiston Maaseudun tutkimus- ja koulutuskeskus, Seinäjoki
name: Selvityksiä / Helsingin kauppakorkeakoulu. E
name: 20 : Tietopalvelukurssi 1987-1988
name: Research reports / University of Turku, Faculty of Education. A
name: Raportti / Tampereen teknillinen korkeakoulu, lämpötekniikka
name: Sosiaali- ja terveysministeriön julkaisuja / Sosiaali- ja terveysministeriö
name: Publication /Tampere University of Technology
name: Tampereen teknillinen korkeakoulu. Rakentamistalouden laitos
name: Julkaisusarja / Sotakorkeakoulu, sotatieteen laitos. 3, Strategian asiatietoa
name: Helsingin yliopiston tutkimus- ja koulutuskeskus Palmenia. Oppimateriaaleja
name: Seutusuunnittelun keskusliitto, julkaisuja
name: STM:n monisteita. Sosiaali- ja terveysministeriö
name: Suomi : Karjala, Aunus, Inkeri : erikoisluettelo : 1945
name: Levón
name: Publication series of the University of Art and Design Helsinki A
name: Työpap. - Hels. yliop., kasv.tieteen laitos, Toiminnan teor. kehitt. työntutk. yksikkö
name: Päijät-Hämeen seutukaavaliitto. Julkaisu
name: Publ. Inst. geogr. Univ. Hels., C
name: Helsingin yliopisto. Tietojenkäsittelyopin laitos. Report
name: Raportti / Helsingin puhelin, tutkimus
name: Acta universitatis tamperensis, Sarja A
name: Helsinki University of Technology, Department of Electrical and Communications Engineering, Laboratory of Electromechanics
name: Humanistiska yrkeshögskolan : Serie C, Läromaterial
name: Research reports / Department of Social Psychology. University of Helsinki
name: Julkaisuja / Jyväskylän yliopisto, taloustieteen laitos, Keski-Suomen taloudellinen tutkimuskeskus
name: Pirkanmaan liiton julkaisu : C
name: Research reports / Teknillinen korkeakoulu
name: Publication series / European Institute for Crime Prevention and Control, affiliated with the United Nations (HEUNI)
name: Nuorisotutkimusverkosto/Nuorisotutkimusseura, julkaisuja: Kenttä
name: Helsingin yliopisto, maaseudun tutkimus- ja koulutuskeskus, Seinäjoki : Sarja B
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja. A, Tutkimuksia = Pedagogiska forskningsinstitutet. Publikationsserie. A. Forskning
name: Working papers : C
name: Helsinki University of Technology, Faculty of Mechanical Engineering, HVAC-Laboratory : B
name: Report : C / Department of Computer Science, University of Helsinki
name: Oulun yliopisto : opetusohjelma 1959-1960 : alustava ehdotus 26. 9. 1959
name: Tampereen yliopisto. Täydennyskoulutuskeskus. Julkaisusarja. A
name: Jyväskylän yliopisto, kasvatustieteen laitos. Research Reports
name: Työpapereita / Tampereen yliopisto, yrityksen taloustieteen ja yksityisoikeuden laitos. A3
name: Raportti / Teknillinen korkeakoulu. Kevytrakennetekniikan laboratorio. B
name: Univ. Oulu, Inst. Inf. Processing Sci., A
name: Helsinki School of Economics. C, Textbooks
name: Teknillinen korkeakoulu. Tietekniikka : A
name: National Research and Development Centre for Welfare and Health. Research Reports
name: Publikation / Tekniska högskolan i Helsingfors. Laboratoriet för akustik
name: Opetusmoniste / Tampereen yliopisto, matemaattisten tieteiden laitos : B
name: Scientific monographs. E / Bank of Finland
name: Finska kyrkohistoriska sällskapets handlingar
name: Helsingin yliopiston maantieteen laitoksen julkaisuja = Helsingfors universitet, geografiska institutionen. B
name: Publications of the Population Research Institute. Series D
name: Tutkimuksia / Tilastokeskus = Undersökningar / Statistikcentralen
name: Institute for Educational Research. Publication series B, Theory into practice
name: Työterveyslaitos. Työ ja liikunta
name: Skrifter utgivna av Svenska litteratursällskapet
name: Suomi : vesistökartta = Finland : hydrografisk karta
name: Työterveyslaitos : Katsauksia
name: Joensuun yliopisto, maantieteen laitos. Julkaisuja
name: Julkaisusarja. 1, Taktiikan tutkimuksia / Maanpuolustuskorkeakoulu, taktiikan laitos
name: Acta universitatis Tamperensis. A
name: Publication series of University of Art and Design Helsinki UIAH. B
name: Julkaisu / Lappeenrannan teknillinen korkeakoulu, kemiantekniikan osasto

PropertyValue
value: fx877509
property ID: skl

PropertyValue
property ID: FI-MELINDA
value: 003943061

Impact of restricted branching on clause learning SAT solving
contributor: Teknillinen korkeakoulu. Tietojenkäsittelytekniikan laboratorio
type: CreativeWork
P60049: http://rdaregistry.info/termList/RDAContentType/1020
work example: Impact of restricted branching on clause learning SAT solving
author: Järvisalo, Matti
is part of: Fennica
language: en
type: Work

Impact of restricted branching on clause learning SAT solving
isbn: 9789512289073
number of pages: viii, 62 s.
type: CreativeWork
is part of: Vaasan yliop. julk., Tutk. (Pain.)
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
example of work: Impact of restricted branching on clause learning SAT solving
date published: 2007
publisher: Teknillinen korkeakoulu
publication:
  location: Espoo
  organizer: Teknillinen korkeakoulu
description: kuvitettu
type: Instance
is part of: Fennica
P60050: http://rdaregistry.info/termList/RDAMediaType/1007

PropertyValue
value: 005173926
property ID: FI-MELINDA

PropertyValue
property ID: FI-FENNI
value: 877509