( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Certified Core-Guided MaxSAT Solving.

, , , , и . CADE, том 14132 из Lecture Notes in Computer Science, стр. 1-22. Springer, (2023)

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.

Bart Bogaerts

Bart Cramer

Bart Maris

Bart Kersbergen

Bart Riel

 

Другие публикации лиц с тем же именем

Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version)., и . CoRR, (2023)Distributed Subweb Specifications for Traversing the Web., , , , , и . CoRR, (2023)Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)., , и . CoRR, (2023)Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates., и . Theory Pract. Log. Program., 23 (4): 632-647 (июля 2023)Exploiting Game Theory for Analysing Justifications., , и . Theory Pract. Log. Program., 20 (6): 880-894 (2020)Predicate logic as a modeling language: the IDP system., , , , и . Declarative Logic Programming, том 20 из ACM Books, ACM / Morgan & Claypool, (2018)Certified Dominance and Symmetry Breaking for Combinatorial Optimisation., , , и . J. Artif. Intell. Res., (2023)Fixpoint Semantics for Recursive SHACL., и . ICLP Technical Communications, том 345 из EPTCS, стр. 41-47. (2021)Executable First-Order Queries in the Logic of Information Flows., , , , и . ICDT, том 155 из LIPIcs, стр. 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Simplifying Step-Wise Explanation Sequences., , , , и . CP, том 280 из LIPIcs, стр. 11:1-11:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)