The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matti Järvisalo" ( http://dblp.L3S.de/Authors/Matti_Järvisalo )

  Author page on DBLP  Author page in RDF  Community of Matti Järvisalo in ASPL-2

Publication years (Num. hits)
2004-2009 (17) 2010-2012 (20) 2013-2014 (16) 2015-2016 (24) 2017 (16) 2018-2019 (16)
Publication types (Num. hits)
article(32) inproceedings(74) phdthesis(1) proceedings(2)
Venues (Conferences, Journals, ...)
CoRR(10) IJCAI(8) SAT(8) AAAI(7) CP(7) UAI(5) JELIA(4) KR(4) Artif. Intell.(3) ECAI(3) ICTAI(3) J. Artif. Intell. Res.(3) LPNMR(3) TPLP(3) CPAIOR(2) J. Comput. Syst. Sci.(2) More (+10 of total 47)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 6 keywords

Results
Found 110 publication records. Showing 109 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jukka M. Toivanen, Matti Järvisalo, Olli Alm, Dan Ventura, Martti Vainio, Hannu Toivonen Towards transformational creation of novel songs. Search on Bibsonomy Connect. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran Preprocessing Argumentation Frameworks via Replacement Patterns. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Le Berre, Matti Järvisalo (eds.) Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. Search on Bibsonomy POS@SAT The full citation details ... 2019 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti Cautious reasoning in ASP via minimal models and unsatisfiable cores. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti Cautious reasoning in ASP via minimal models and unsatisfiable cores. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Brandon M. Malone, Kustaa Kangas, Matti Järvisalo, Mikko Koivisto, Petri Myllymäki Empirical hardness of finding optimal Bayesian network structures: algorithm selection and runtime prediction. Search on Bibsonomy Machine Learning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo SAT for Argumentation. Search on Bibsonomy SAFA@COMMA The full citation details ... 2018 DBLP  BibTeX  RDF
1Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. Search on Bibsonomy COMMA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva Premise Set Caching for Enumerating Minimal Correction Subsets. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Previti, Matti Järvisalo A preference-based approach to backbone computation with application to argumentation. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
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
1Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo Extension Enforcement under Grounded Semantics in Abstract Argumentation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jeremias Berg, Antti Hyttinen, Matti Järvisalo Applications of MaxSAT in Data Analysis. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  BibTeX  RDF
1Kari Rantanen, Antti Hyttinen, Matti Järvisalo Learning Optimal Causal Graphs with Exact Search. Search on Bibsonomy PGM 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
1Jeremias Berg, Matti Järvisalo Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antti Hyttinen, Sergey M. Plis, Matti Järvisalo, Frederick Eberhardt, David Danks A constraint optimization approach to causal discovery from subsampled time series data. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning. Search on Bibsonomy ECSQARU The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, João Marques-Silva On Computing Generalized Backbones. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki Minimum-Width Confidence Bands via Constraint Optimization. Search on Bibsonomy CP 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
1Jeremias Berg, Matti Järvisalo Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Brandon M. Malone, Kustaa Kangas, Matti Järvisalo, Mikko Koivisto, Petri Myllymäki AS-ASL: Algorithm Selection with Auto-sklearn. Search on Bibsonomy OASC The full citation details ... 2017 DBLP  BibTeX  RDF
1Tomás Balyo, Marijn J. H. Heule, Matti Järvisalo SAT Competition 2016: Recent Developments. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Kari Rantanen, Antti Hyttinen, Matti Järvisalo Learning Chordal Markov Networks via Branch and Bound. Search on Bibsonomy NIPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva Improving MCS Enumeration via Caching. Search on Bibsonomy SAT The full citation details ... 2017 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
1James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract). Search on Bibsonomy IJCAI 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
1Magnus Find, Mika Göös, Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen Separating OR, SUM, and XOR circuits. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Danny Dolev, Keijo Heljanko, Matti Järvisalo, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela, Siert Wieringa Synchronous counting and computational algorithm design. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Antti Hyttinen, Sergey M. Plis, Matti Järvisalo, Frederick Eberhardt, David Danks Causal Discovery from Subsampled Time Series Data by Constraint Optimization. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets, and Complexity. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo Pakota: A System for Enforcement in Abstract Argumentation. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  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, 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
1Antti Hyttinen, Sergey M. Plis, Matti Järvisalo, Frederick Eberhardt, David Danks Causal Discovery from Subsampled Time Series Data by Constraint Optimization. Search on Bibsonomy Probabilistic Graphical Models The full citation details ... 2016 DBLP  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
1Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo Synthesizing Argumentation Frameworks from Examples. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo Optimal Status Enforcement in Abstract Argumentation. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz Overview and analysis of the SAT Challenge 2012 solver competition. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere Clause Elimination for SAT and QSAT. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema Weak models of distributed computing, with connections to modal logic. Search on Bibsonomy Distributed Computing 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
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
1Antti Hyttinen, Frederick Eberhardt, Matti Järvisalo Do-calculus when the True Graph Is Unknown. Search on Bibsonomy UAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Brandon M. Malone, Matti Järvisalo, Petri Myllymäki Impact of Learning Strategies on the Quality of Bayesian Networks: An Empirical Evaluation. Search on Bibsonomy UAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Dag Sonntag, Matti Järvisalo, José M. Peña 0001, Antti Hyttinen Learning Optimal Chain Graphs with Answer Set Programming. Search on Bibsonomy UAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  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
1Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran Complexity-sensitive decision procedures for abstract argumentation. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Matti Järvisalo Answer Set Solver Backdoors. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo SAT-Based Approaches to Treewidth Computation: An Evaluation. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo, Brandon M. Malone Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability. Search on Bibsonomy AISTATS The full citation details ... 2014 DBLP  BibTeX  RDF
1Brandon M. Malone, Kustaa Kangas, Matti Järvisalo, Mikko Koivisto, Petri Myllymäki Predicting the Hardness of Learning Bayesian Networks. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, Samuel Kaski Optimal Neighborhood Preserving Visualization by Maximum Satisfiability. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Matti Järvisalo, Janne H. Korhonen Conditional Lower Bounds for Failed Literals and Related Techniques. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Antti Hyttinen, Frederick Eberhardt, Matti Järvisalo Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming. Search on Bibsonomy UAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Magnus Find, Mika Göös, Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen Separating OR, SUM, and XOR Circuits Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Antti Hyttinen, Patrik O. Hoyer, Frederick Eberhardt, Matti Järvisalo Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Anton Belov, Matti Järvisalo, João Marques-Silva Formula Preprocessing in MUS Extraction. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo Optimal Correlation Clustering via MaxSAT. Search on Bibsonomy ICDM Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jukka M. Toivanen, Matti Järvisalo, Hannu Toivonen Harnessing Constraint Programming for Poetry Composition. Search on Bibsonomy ICCC The full citation details ... 2013 DBLP  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Armin Biere Revisiting Hyper Binary Resolution. Search on Bibsonomy CPAIOR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Allen Van Gelder (eds.) Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Antti Hyttinen, Patrik O. Hoyer, Frederick Eberhardt, Matti Järvisalo Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure. Search on Bibsonomy UAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Matti Järvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon The International SAT Solver Competitions. Search on Bibsonomy AI Magazine The full citation details ... 2012 DBLP  BibTeX  RDF
1Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema Weak Models of Distributed Computing, with Connections to Modal Logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Matti Järvisalo, Armin Biere, Marijn Heule Simulating Circuit-Level Simplifications on CNF. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema Weak models of distributed computing, with connections to modal logic. Search on Bibsonomy PODC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivny Relating Proof Complexity Measures and Practical Hardness of SAT. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran Complexity-Sensitive Decision Procedures for Abstract Argumentation. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Matti Järvisalo, Marijn Heule, Armin Biere Inprocessing Rules. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen Finding Efficient Circuits for Ensemble Computation. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anton Belov, Matti Järvisalo Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Matti Järvisalo Itemset Mining as a Challenge Application for Answer Set Enumeration. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo On the Relative Efficiency of DPLL and OBDDs with Axiom and Join. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Armin Biere Efficient CNF Simplification Based on Binary Implication Graphs. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anton Belov, Matti Järvisalo, Zbigniew Stachniak Depth-Driven Circuit-Level Stochastic Local Search for SAT. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Armin Biere Covered Clause Elimination Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Robert Brummayer, Matti Järvisalo Testing and Debugging Techniques for Answer Set Solver Development Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Robert Brummayer, Matti Järvisalo Testing and debugging techniques for answer set solver development. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Armin Biere, Marijn Heule Blocked Clause Elimination. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Armin Biere Clause Elimination Procedures for CNF Formulas. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Armin Biere Covered Clause Elimination. Search on Bibsonomy LPAR short papers(Yogyakarta) The full citation details ... 2010 DBLP  BibTeX  RDF
1Matti Järvisalo, Armin Biere Reconstructing Solutions after Blocked Clause Elimination. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo Structure-based satisfiability checkingAnalyzing and harnessing the potential. Search on Bibsonomy AI Commun. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Tommi A. Junttila Limitations of restricted branching in clause learning. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Branching heuristics, Clause learning, Backdoor sets, Proof complexity, Propositional satisfiability, DPLL, Problem structure
1Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä A Module-Based Framework for Multi-language Constraint Modeling. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Matti Järvisalo Max-ASP: Maximum Satisfiability of Answer Set Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Ilkka Niemelä The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study. Search on Bibsonomy J. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Emilia Oikarinen Extended ASP tableaux and rule redundancy in normal logic programs Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Matti Järvisalo, Emilia Oikarinen Extended ASP Tableaux and rule redundancy in normal logic programs. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä Justification-Based Local Search with Adaptive Noise Strategies. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 109 (100 per page; Change: )
Pages: [1][2][>>]
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