Issue659

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title CEGAR: decouple heuristic generation from usage
Priority feature Status resolved
Superseder Nosy List florian, jendrik, malte
Assigned To jendrik Keywords
Optional summary 


















Created on 2016-06-19.22:44:50 by jendrik, last changed  by jendrik.








 
Messages

 
  

   msg5541 (view)
   Author: jendrik
   Date: 2016-08-10.23:29:33
   
    
   
  

  

   
    
Awesome. Merged and pushed.

   		
  

 
 
  

   msg5538 (view)
   Author: florian
   Date: 2016-08-10.22:08:09
   
    
   
  

  

   
    
Looks good to me.

   		
  

 
 
  

   msg5535 (view)
   Author: malte
   Date: 2016-08-10.21:32:01
   
    
   
  

  

   
    
Sure, if you're both happy with it and it doesn't touch the core code, I don't
need to check it.

   		
  

 
 
  

   msg5534 (view)
   Author: jendrik
   Date: 2016-08-10.18:36:04
   
    
   
  

  

   
    
Here are the results:
http://ai.cs.unibas.ch/_tmp_files/seipp/issue659-v1-issue659-v1-base-issue659-v1-compare.html

The experiment didn't turn up anything suspicious, so I think this could be merged. Malte, are you 
fine with this?

   		
  

 
 
  

   msg5531 (view)
   Author: jendrik
   Date: 2016-08-10.12:04:23
   
    
   
  

  

   
    
Thanks for the comments. I'm done handling them and will run experiments now.

   		
  

 
 
  

   msg5518 (view)
   Author: florian
   Date: 2016-08-09.18:37:08
   
    
   
  

  

   
    
I added some comments. Everything else looks good to me.

   		
  

 
 
  

   msg5452 (view)
   Author: jendrik
   Date: 2016-06-20.10:55:21
   
    
   
  

  

   
    
I have made a pull request here: 
https://bitbucket.org/jendrikseipp/downward/pull-requests/54

@Florian: I added you to the nosy list since you had the original idea for this 
:-) Could you have a look at the patch, please?

   		
  

 
 
  

   msg5451 (view)
   Author: jendrik
   Date: 2016-06-19.22:44:49
   
    
   
  

  

   
    
In AdditiveCartesianHeuristic almost all members are needed only for creating the 
heuristic. We want to split heuristic creation and usage as in iPDB.

   		
  

 





History


Date
User
Action
Args



2016-08-10 23:29:33jendriksetstatus: testing -> resolved
messages:
  + msg5541


2016-08-10 22:08:09floriansetmessages:
  + msg5538


2016-08-10 21:32:01maltesetmessages:
  + msg5535


2016-08-10 18:36:04jendriksetmessages:
  + msg5534


2016-08-10 12:04:23jendriksetstatus: reviewing -> testing
messages:
  + msg5531


2016-08-09 18:37:08floriansetmessages:
  + msg5518


2016-06-20 10:55:21jendriksetstatus: unread -> reviewing
nosy:
  + florian
messages:
  + msg5452


2016-06-19 22:44:50jendrikcreate