Pages that link to "Item:Q3706527"
From MaRDI portal
The following pages link to Integrity constraints in logic databases (Q3706527):
Displaying 4 items.
- Algorithms for the maximum satisfiability problem (Q753502) (← links)
- Active integrity constraints for general-purpose knowledge bases (Q1783734) (← links)
- Improved exact algorithms for MAX-SAT (Q1878397) (← links)
- An operator for composing deductive data bases with theories of constraints (Q5101441) (← links)
