Author of the publication

Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming.

, and . ICAPS, page 71-79. AAAI Press, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination., and . CoRR, (2021)Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination., and . AAAI, page 5861-5868. AAAI Press, (2022)Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs., and . Theory Pract. Log. Program., 23 (4): 782-796 (July 2023)Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination., and . LPNMR, volume 13416 of Lecture Notes in Computer Science, page 203-216. Springer, (2022)New Encoding Methods for SAT-Based Temporal Planning., and . ICAPS, AAAI, (2013)Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling., , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 279-294. Springer, (2023)ITSAT: An Efficient SAT-Based Temporal Planner., and . J. Artif. Intell. Res., (2015)Efficient Encoding of Cost Optimal Delete-Free Planning as SAT., and . AAAI, page 9910-9917. AAAI Press, (2022)A Complete State-Space Based Temporal Planner., and . ICTAI, page 297-304. IEEE Computer Society, (2011)Using Satisfiability for Non-optimal Temporal Planning., , and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 176-188. Springer, (2012)