The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Paul Saikko" ( http://dblp.L3S.de/Authors/Paul_Saikko )

  Author page on DBLP  Author page in RDF  Community of Paul Saikko in ASPL-2

Publication years (Num. hits)
2015 (3) 2016 (3) 2017 (3) 2018 (2)
Publication types (Num. hits)
inproceedings(11)
Venues (Conferences, Journals, ...)
IJCAI(3) KR(2) SAT(2) CP(1) CPAIOR(1) ECAI(1) ICTAI(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 12 publication records. Showing 11 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo A Hybrid Approach to Optimization in Answer Set Programming. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko Reduced Cost Fixing for Maximum Satisfiability. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Järvisalo MaxPre: An Extended MaxSAT Preprocessor. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko Reduced Cost Fixing in MaxSAT. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antti Hyttinen, Paul Saikko, Matti Järvisalo A Core-Guided Approach to Learning Optimal Causal Graphs. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Paul Saikko, Matti Järvisalo Subsumed Label Elimination for Maximum Satisfiability. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Saikko, Jeremias Berg, Matti Järvisalo LMHS: A SAT-IP Hybrid MaxSAT Solver. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Saikko, Johannes Peter Wallner, Matti Järvisalo Implicit Hitting Set Algorithms for Reasoning Beyond NP. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Paul Saikko, Brandon M. Malone, Matti Järvisalo MaxSAT-Based Cutting Planes for Learning Graphical Models. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Paul Saikko, Matti Järvisalo Re-using Auxiliary Variables for MaxSAT Preprocessing. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Paul Saikko, Matti Järvisalo Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license