The following pages link to Katalin Fazekas (Q2110405):
Displaying 4 items.
- Duplex encoding of staircase at-most-one constraints for the antibandwidth problem (Q2110406) (← links)
- Incremental inprocessing in SAT solving (Q2181926) (← links)
- Skolem Function Continuation for Quantified Boolean Formulas (Q5086224) (← links)
- IPASIR-up: user propagators for CDCL (Q6643080) (← links)
