Matti Järvisalo

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Tommi A. Junttila

> Home > Persons > Matti Järvisalo

Publications

2009
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/JarvisaloJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/JarvisaloJ09
Matti Järvisalo, Tommi A. Junttila:
Limitations of restricted branching in clause learning. Constraints An Int. J. 14(3): 325-356 (2009)
2008
[c7]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/JarvisaloJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/JarvisaloJ08
Matti Järvisalo, Tommi A. Junttila:
On the Power of Top-Down Branching Heuristics. AAAI 2008: 304-309
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/JarvisaloJN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/JarvisaloJN08
Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä:
Justification-Based Non-Clausal Local Search for SAT. ECAI 2008: 535-539
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/JarvisaloJN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/JarvisaloJN08
Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä:
Justification-Based Local Search with Adaptive Noise Strategies. LPAR 2008: 31-46
2007
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/JarvisaloJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/JarvisaloJ07
Matti Järvisalo, Tommi A. Junttila:
Limitations of Restricted Branching in Clause Learning. CP 2007: 348-363
2005
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/JarvisaloJN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/JarvisaloJN05
Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä:
Unrestricted vs restricted cut in a tableau method for Boolean circuits. Ann. Math. Artif. Intell. 44(4): 373-399 (2005)
2004
[c1]
- view
  - electronic edition @ rutgers.edu (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/isaim/JarvisaloJN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaim/JarvisaloJN04
Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä:
Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. AI&M 2004

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.