https://www.sintef.no/en/publications/publication/1040485/
Logic modeling methods in program evaluation - SINTEF
logic modelingprogram evaluationmethodssintef
https://deepai.org/publication/building-information-modeling-using-constraint-logic-programming
Building Information Modeling Using Constraint Logic Programming | DeepAI
May 17, 2022 - 05/17/22 - Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wi...
building information modelingconstraint logic programmingusingdeepai
https://www.microsoft.com/en-us/research/publication/z3guide-a-scalable-student-centered-and-extensible-educational-environment-for-logic-modeling/
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling -...
Jun 12, 2025 - Constraint-satisfaction problems (CSPs) are ubiquitous, ranging from budgeting for grocery shopping to verifying software behavior. Logic modeling helps solve...
student centered