Author of the publication

Efficient Reasoning for Inconsistent Horn Formulae.

, , , and . JELIA, volume 10021 of Lecture Notes in Computer Science, page 336-352. (2016)

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

Partially Informed Depth-First Search for the Job Shop Problem., , and . ICAPS, page 113-120. AAAI, (2010)Combining hyper-heuristics to evolve ensembles of priority rules for on-line scheduling., , , and . Nat. Comput., 21 (4): 553-563 (2022)Optimally Scheduling a Job-Shop with Operators and Total Flow Time Minimization., , and . CAEPIA, volume 7023 of Lecture Notes in Computer Science, page 193-202. Springer, (2011)Reasoning About Inconsistent Formulas., and . IJCAI, page 4899-4906. ijcai.org, (2020)Survey track.Genetic Algorithm for Job-Shop Scheduling with Operators., , , and . IWINAC (2), volume 6687 of Lecture Notes in Computer Science, page 305-314. Springer, (2011)On Computing the Union of MUSes., , , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 211-221. Springer, (2019)MCS Extraction with Sublinear Oracle Queries., , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 342-360. Springer, (2016)Learning ensembles of priority rules for online scheduling by hybrid evolutionary algorithms., , , and . Integr. Comput. Aided Eng., 28 (1): 65-80 (2021)Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules., , , , and . AI Commun., 28 (2): 365-381 (2015)Intensified iterative deepening A* with application to job shop scheduling., , and . J. Intell. Manuf., 25 (6): 1245-1255 (2014)