Raportteja : Rapporter / Äldreinstitutet = Reports / Age Institute
name: Research report / Helsinki University of Technology, Institute of Mathematics. A
name: Tiedotteita / Valtion teknillinen tutkimuskeskus = Meddelanden / Statens tekniska forskningscentral = Research notes / Technical Research Centre of Finland
name: Acta Wasaensia : Business administration, Management and organization
name: Acta Wasaensia, Business administration. Accounting and finance
name: [Opetusministeriön julkaisuja]
name: Hallintotiede : C / Tampereen yliopisto, hallintotieteen laitos
name: Tampere University of Technology, Department of Civil Engineering, Water Supply and Sanitation : B
name: Tampereen teknillinen korkeakoulu / Opintomoniste
name: Frekrika Wetterhoffin kotiteollisuusopettajaopisto. B, julkaisusarja
name: Julkaisu. Sarja A / Oulun yliopisto, vesitekniikan laboratorio
name: Helsingin yliopisto, viestinnän laitos : Sarja 2
name: Teknillinen korkeakoulu. konetekniikan osasto. laivalaboratorio. M
name: Series of publications : B / University of Tampere, Department of Computer Science
name: Valtion teknillinen tutkimuskeskus julkaisuja
name: Suomi : autokartta = Finland : bilkarta
name: Julkaisusarja : A / TYT
name: Julkaisuja / Yleisen kielitieteen laitos, Helsingin yliopisto
name: Research reports / University of Kuopio, Center for Training and Development
name: Raportti / Tietojenkäsittelyopin laitos, Tampereen yliopisto : C
name: Julkaisuja / Jyväskylän yliopisto. Taloustieteen laitos
name: Helsinki University of Technology, Laboratory of Lightweight Structures : Series A
name: Acta Wasaensia : Accounting and finance
name: Izdanie / MKTK : G
name: [Julkaisu] / Päijät-Hämeen seutukaavaliitto
name: Skrifter utgifna af Svenska literatursällskapet i Finland
name: HAMK : Ammatillisen opettajakorkeakoulun julkaisuja
name: Julkaisuja / Tampereen yliopisto, Tiedotusopin laitos. Sarja A, Tutkimuksia
name: Turun yliopiston kasvatustieteiden tiedekunta. Tutkimuksia
name: Suomi / Suomalaisen Kirjallisuuden Seura
name: Publikation / Ungdomsforskningsnätverket/Ungdomsforskningssällskapet
name: Reviews / Statistics Finland
name: Oppaita. Stakes
name: Report series / Finnish National Defence University, Department of Military Technology : 1, Military technology research
name: Helsingin yliopiston opettajankoulutuslaitoksen tutkimuksia
name: Acta Academiae Aboensis. Series A, Humaniora
name: Historian tutkimuksia / Joensuun yliopisto, Humanistinen tiedekunta
name: Julkaisu. Sarja B / Helsingin yliopisto, tietojenkäsittelyopin laitos
name: Suomi : Finland = Filjandija = Finnland
name: Kuukauden kirja. V
name: Studia Historica / Suomen historiallinen seura
name: Series / National Defence College, Department of Technology. 1
name: Helsinki University of Technology, Ship Laboratory : M
name: Tampereen yliopisto, sosiologian ja sosiaalipsykologian laitos. A, Tutkimuksia
name: Research report / University of Helsinki. Department of education
name: Helsinki University of Technology. Telecommunications Software and Multimedia Laboratory. Series A
name: Julkaisusarja / Maanpuolustuskorkeakoulu, tekniikan laitos : 1
name: Helsingin puhelinyhdistyksen tutkimuslaitos. Raportti
name: Tiedonanto / Valtion teknillinen tutkimuskeskus, elintarvikelaboratorio
name: Tampereen yliopisto. Acta Universitatis Tamperensis
name: Joensuun yliopiston kasvatustieteiden tiedekunnan opetusmonisteita
name: Yhteiskuntatieteellisiä julkaisuja / Joensuun yliopisto, Yhteiskunta- ja aluetieteiden tiedekunta
name: Oulun yliop., Tiet.käs.opin laitos, Sar. A
name: Opettajakorkeakoulun julkaisuja. Hämeen ammattikorkeakoulu. D
name: Publications / University of Tampere, Research Institute for Social Sciences
name: University of Oulu. Institute of Data Processing : Ser. A
name: Helsinki University of Technology Laboratory of Computational Engineering publications : A
name: Raportti (Tamp.)
name: Raportti / Museovirasto, rakennushistorian osasto
name: Tek. korkeak., Tietek., A
name: Helsingin yliopiston maaseudun tutkimus- ja koulutuskeskus, Seinäjoki. Sarja B
name: Acta Universitatis Tamperensis : Series A
name: Julkaisuja / Kuluttajatutkimuskeskus
name: Vaasan yliopiston julkaisuja. Tutkimuksia, Liiketaloustiede
name: Helsingin yliopiston Lahden tutkimus- ja koulutuskeskus. Oppimateriaaleja
name: Teknillinen korkeakoulu. energiatekniikan laitos. sovelletun termodynamiikan laboratorio
name: Acta Wasaensia. Viestintätieteet
name: Diskussionsunderlag / Forsknings- och utvecklingscentralen för social- och hälsovården
name: Julkaisuja : Kymenlaakson ammattikorkeakoulu. Sarja A, Oppimateriaali
name: Helsinki University of Technology, Applied Electronics Laboratory. Series B, Research reports
name: Hels. yliop. sosiaalipsykol. laitoksen monist
name: Tampereen yliopisto. Opetusmoniste B, Matemaattisten tieteiden laitos
name: Yhteisk.t., tutk.l. Tamp. yliop., D Rap. tied
name: Aalto University School of Art and Design Publication series. A
name: Publication series / National Defence University, Department of Leadership and Management Studies : 2
name: Väestöntutkimusl. julkaisusar. D
name: Studies / Finnish Centre for Pensions
name: Publications of the Population Research Institute. Series D
name: Tutkimuksia / Tampereen yliopisto. B
name: [Finland]
name: Jyväskylän yliopisto. Taloustieteen laitos. Working paper

PropertyValue
value: 877509
property ID: FI-FENNI

Impact of restricted branching on clause learning SAT solving
number of pages: viii, 62 s.
date published: 2007
type: CreativeWork
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
is part of: Fennica
isbn: 9789512289073
example of work: Impact of restricted branching on clause learning SAT solving
description: kuvitettu
publisher: Teknillinen korkeakoulu
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
type: Instance
publication:
  location: Espoo
  organizer: Teknillinen korkeakoulu
is part of: Raportteja : Rapporter / Äldreinstitutet = Reports / Age Institute

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

PropertyValue
property ID: skl
value: fx877509

PropertyValue
value: 005173926
property ID: FI-MELINDA

PropertyValue
property ID: FI-MELINDA
value: 003943061