Horst Samulowitz Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search combinators. Constraints 18(2): 269-305 (2013)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz: Stronger Inference through Implied Literals from Conflicts and Knapsack Covers. CPAIOR 2013: 1-11
2012
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann: Parallel SAT Solver Selection and Scheduling. CP 2012: 512-526
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ashish Sabharwal, Horst Samulowitz, Chandra Reddy: Guiding Combinatorial Optimization with UCT. CPAIOR 2012: 356-361
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: An Introduction to Search Combinators. LOPSTR 2012: 2-16
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat: SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation). SAT 2012: 463-468
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann: Learning Back-Clauses in SAT - (Poster Presentation). SAT 2012: 498-499
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arie Matsliah, Ashish Sabharwal, Horst Samulowitz: Augmenting Clause Learning with Implied Literals - (Poster Presentation). SAT 2012: 500-501
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators. CoRR abs/1203.1095 (2012)
2011
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann: Algorithm Selection and Scheduling. CP 2011: 454-469
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators. CP 2011: 774-788
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann: Non-Model-Based Algorithm Portfolios for SAT. SAT 2011: 369-370
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey: Memoizing a Monadic Mixin DSL. WFLP 2011: 68-85
2010
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella: Collaborative Expert Portfolio Management. AAAI 2010
2009
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz: Experiments with Massively Parallel Constraint Solving. IJCAI 2009: 443-448
2007
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horst Samulowitz, Roland Memisevic: Learning to Solve QBF. AAAI 2007: 255-260
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lucas Bordeaux, Horst Samulowitz: On the stochastic constraint satisfaction framework. SAC 2007: 316-320
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horst Samulowitz, Fahiem Bacchus: Dynamically Partitioning for Solving QBF. SAT 2007: 215-229
2006
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horst Samulowitz, Jessica Davies, Fahiem Bacchus: Preprocessing QBF. CP 2006: 514-529
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horst Samulowitz, Fahiem Bacchus: Binary Clause Reasoning in QBF. SAT 2006: 353-367
2005
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horst Samulowitz, Fahiem Bacchus: Using SAT in QBF. CP 2005: 578-592
2001
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Walter Oberschelp, Alexander Hornung, Horst Samulowitz: Visualization of eclipses and planetary conjunction events. The interplay between model coherence, scaling and animation. The Visual Computer 17(5): 310-317 (2001)
2000
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Walter Oberschelp, Alexander Hornung, Horst Samulowitz: Visualization of Eclipses and Planetary Conjunction Events: The Interplay between Model Coherence, Scaling and Animation. Computer Graphics International 2000: 81-

Coauthor Index

1Tobias Achterberg
[c20]
2Fahiem Bacchus
[c5] [c4] [c3] [c2]
3Bard Bloom
[c16]
4Lucas Bordeaux
[c8] [c6]
5Jessica Davies
[c4]
6Thore Graepel
[c9]
7David Grove
[c16]
8Youssef Hamadi
[c8]
9Ralf Herbrich
[c9]
10Benjamin Herta
[c16]
11Alexander Hornung
[j1] [c1]
12Serdar Kadioglu
[c13]
13Yuri Malitsky
[c19] [c13] [c11]
14Arie Matsliah
[c14]
15Roland Memisevic
[c7]
16Walter Oberschelp
[j1] [c1]
17Luca Pulina
[c9]
18Chandra Reddy
[c18]
19Ashish Sabharwal
[c20] [c19] [c18] [c16] [c15] [c14] [c13] [c11]
20Vijay A. Saraswat
[c16]
21Tom Schrijvers
[j2] [c17] [i1] [c12] [c10]
22Meinolf Sellmann
[c19] [c15] [c13] [c11]
23David H. Stern
[c9]
24Peter J. Stuckey
[j2] [c17] [i1] [c12] [c10]
25Armando Tacchella
[c9]
26Guido Tack
[j2] [c17] [i1] [c12] [c10]
27Pieter Wuille
[j2] [c17] [i1] [c12] [c10]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 11:05:21 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page