Constraint-Based Reasoning
"The Crossword puzzle (CP) is a simple problem to illustrate the formalization process of a problem into a CSP. The problem is to place words of a dictionary in a given structure satisfying certain constraints. The variables are the rows and columns in the crossword, and their values are the words in a dictionary."
– Marc Torrens. An Application using the JCL: The Air Travel Planning System. Diploma Thesis, 1997, Chapter 1, Section 1.2.1.
Country:
- North America > United States > Pennsylvania > Allegheny County > Pittsburgh (0.04)
- North America > United States > Massachusetts > Middlesex County > Cambridge (0.04)
- Asia > China > Shanghai > Shanghai (0.04)
Genre:
- Research Report > Experimental Study (1.00)
- Research Report > New Finding (0.67)
Technology:
Slack-Free Spiking Neural Network Formulation for Hypergraph Minimum Vertex Cover Tam Ngoc-Bang Nguyen
Neural Information Processing Systems
HMVC on real and synthetic instances where the SNN-based QUBO solver often failed, while consuming measurably less energy than global solvers on CPU.
Country:
- North America > United States > California > Santa Clara County > San Jose (0.04)
- Europe > Monaco (0.04)
Technology:
- Information Technology > Communications (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (0.94)
- Information Technology > Artificial Intelligence > Cognitive Science (0.93)
Country:
- North America > United States > Massachusetts > Middlesex County > Cambridge (0.04)
- Europe > United Kingdom > Northern Ireland (0.04)
- Europe > Greece > Central Macedonia > Thessaloniki (0.04)
- (2 more...)
Industry:
- Information Technology > Security & Privacy (1.00)
- Banking & Finance (0.93)
- Energy > Power Industry (0.67)
Technology:
- Information Technology > Security & Privacy (1.00)
- Information Technology > Data Science > Data Mining (1.00)
- Information Technology > Communications (1.00)
- (4 more...)
Rethinking Parity Check Enhanced Symmetry-Preserving Ansatz
Neural Information Processing Systems
Quantum Algorithms (VQAs) have emerged to obtain possible quantum advantage. In particular, how to effectively incorporate hard constraints in VQAs remains a critical and open question.
Country:
- Asia > Middle East > Jordan (0.04)
- Asia > China > Shanghai > Shanghai (0.04)
- Asia > Middle East > Israel (0.04)
Industry:
- Information Technology (0.67)
- Banking & Finance (0.45)
Technology:
- Information Technology > Hardware (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Optimization (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning (1.00)
Technology:
- Information Technology > Artificial Intelligence > Machine Learning (0.93)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (0.46)
Small Total-Cost Constraints in Contextual Bandits with Knapsacks, with Application to Fairness
Neural Information Processing Systems
The setting described is summarized in Box A.
Country:
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.04)
- Europe > France > Île-de-France > Paris > Paris (0.04)
Genre:
- Research Report > New Finding (0.46)
- Overview (0.46)
Technology:
- Information Technology > Artificial Intelligence > Machine Learning (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (0.46)
Industry:
- Transportation (0.71)
- Education (0.67)
Technology:
Country:
- North America > United States > Wisconsin > Dane County > Madison (0.04)
- North America > United States > California > Santa Clara County > Palo Alto (0.04)
- Europe > Switzerland > Vaud > Lausanne (0.04)
Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Search (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Optimization (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks > Deep Learning (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (0.68)
Technology:
- Information Technology > Artificial Intelligence > Robots (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Agents (0.94)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (0.94)
- (3 more...)
Discrete Object Generation with Reversible Inductive Construction
Ari Seff, Wenda Zhou, Farhan Damani, Abigail Doyle, Ryan P. Adams
Neural Information Processing Systems
Neural Information Processing Systems http://nips.cc/
Country:
- North America > United States > New Jersey > Mercer County > Princeton (0.05)
- North America > United States > New York (0.04)
- North America > Canada (0.04)
- (2 more...)
Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (0.95)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Uncertainty > Bayesian Inference (0.46)
- Information Technology > Artificial Intelligence > Machine Learning > Learning Graphical Models > Directed Networks > Bayesian Learning (0.46)