Search the dblp DataBase

Publications of Author

1. Matti Järvisalo
   Further Investigations into Regular XORSAT. [Citation Graph (0, 0)][DBLP]
   AAAI, 2006, pp:- [Conf]
   
2. Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä
   Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. [Citation Graph (0, 0)][DBLP]
   AMAI, 2004, pp:- [Conf]
   
3. Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä
   Unrestricted vs restricted cut in a tableau method for Boolean circuits. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:373-399 [Journal]
   
4. Matti Järvisalo, Tommi A. Junttila
   Limitations of Restricted Branching in Clause Learning. [Citation Graph (0, 0)][DBLP]
   CP, 2007, pp:348-363 [Conf]
   
5. Matti Järvisalo, Emilia Oikarinen
   Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
   ICLP, 2007, pp:134-148 [Conf]
   
6. 
   On the Power of Top-Down Branching Heuristics. [Citation Graph (, )][DBLP]
   
   
7. 
   Justification-Based Non-Clausal Local Search for SAT. [Citation Graph (, )][DBLP]
   
   
8. 
   Justification-Based Local Search with Adaptive Noise Strategies. [Citation Graph (, )][DBLP]
   
   
9. 
   A Module-Based Framework for Multi-language Constraint Modeling. [Citation Graph (, )][DBLP]
   
   
10. 
    Max-ASP: Maximum Satisfiability of Answer Set Programs. [Citation Graph (, )][DBLP]
    
    
11. 
    Reconstructing Solutions after Blocked Clause Elimination. [Citation Graph (, )][DBLP]
    
    
12. 
    Blocked Clause Elimination. [Citation Graph (, )][DBLP]
    
    
13. 
    Structure-based satisfiability checkingAnalyzing and harnessing the potential. [Citation Graph (, )][DBLP]
    
    
14. 
    Limitations of restricted branching in clause learning. [Citation Graph (, )][DBLP]
    
    
15. 
    Extended ASP tableaux and rule redundancy in normal logic programs [Citation Graph (, )][DBLP]
    
    
16. 
    Testing and Debugging Techniques for Answer Set Solver Development [Citation Graph (, )][DBLP]