Author of the publication

On Incremental Core-Guided MaxSAT Solving.

, , , , , and . CP, volume 9892 of Lecture Notes in Computer Science, page 473-482. Springer, (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

Maximum Satisfiability in Software Analysis: Applications and Techniques., , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 68-94. Springer, (2017)NSNet: A General Neural Probabilistic Framework for Satisfiability Problems., and . NeurIPS, (2022)Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning., , , , , , and . NeurIPS, page 25134-25145. (2021)Towards Reliable Neural Specifications., , , , , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 11196-11212. PMLR, (2023)TorchProbe: Fuzzing Dynamic Deep Learning Compilers., , , and . APLAS, volume 14405 of Lecture Notes in Computer Science, page 310-331. Springer, (2023)Data Collection for the Learn-OCaml Programming Platform: Modelling How Students Develop Typed Functional Programs., , , and . SIGCSE, page 1341. ACM, (2021)Data-driven Optimization of Inductive Generalization., , and . FMCAD, page 86-95. IEEE, (2021)Synthesizing Datalog Programs using Numerical Relaxation., , , and . IJCAI, page 6117-6124. ijcai.org, (2019)APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts., , , , , , , and . CoRR, (2024)Code Repair with LLMs gives an Exploration-Exploitation Tradeoff., , , , , , and . CoRR, (2024)