The following pages link to (Q2701742):
Displayed 13 items.
- Scheduling and routing of automated guided vehicles: A hybrid approach (Q858276) (← links)
- Mutation testing in UTP (Q1019021) (← links)
- A full first-order constraint solver for decomposable theories (Q1044229) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Towards constraint-based school timetabling (Q2468741) (← links)
- Expander2: Program Verification Between Interaction and Automation (Q2873787) (← links)
- A Formal Semantics for the Cognitive Architecture ACT-R (Q2949702) (← links)
- Welcome to Constraint Handling Rules (Q3616877) (← links)
- Unfolding for CHR programs (Q4592981) (← links)
- (Q5020558) (← links)
- Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR (Q5302727) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
- A Full First-Order Constraint Solver for Decomposable Theories (Q5505492) (← links)